Skip to content

proverif source code and output for EPAF, which is an efficient pseudonymous-based inter-vehicle authentication framework for VANET

Notifications You must be signed in to change notification settings

finleywang/proverif_epaf

Repository files navigation

proverif_epaf

proverif source code and output for EPAF, which is an efficient pseudonymous-based inter-vehicle authentication framework for VANET

About

proverif source code and output for EPAF, which is an efficient pseudonymous-based inter-vehicle authentication framework for VANET

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published