A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Symbolic Analysis of an Electric Vehicle Charging Protocol
2014
2014 19th International Conference on Engineering of Complex Computer Systems
In this paper, we describe our analysis of a recently proposed electric vehicle charing protocol. The protocol builds on complex cryptographic primitives such as commitment, zeroknowledge proofs, BBS+ signature and etc. Moreover, interesting properties such as secrecy, authentication, anonymity, and location privacy are claimed on this protocol. It thus presents a challenge for formal verification, as no single existing tool for security protocol analysis support for all the required features.
doi:10.1109/iceccs.2014.11
dblp:conf/iceccs/LiPL0D14
fatcat:zo5uzzjtpre37i6mzml6lbjr6e