Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
7-2014
Abstract
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. In our analysis, we employ and combine the strength of two stateof-the-art symbolic verifiers, Tamarin and ProVerif, to check all important properties of the protocol.
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, August 4-7
First Page
1
Last Page
8
Identifier
10.1109/ICECCS.2014.11
Publisher
IEEE
City or Country
Tianjin, China
Citation
LI, Li; PANG, Jun; LIU, Yang; SUN, Jun; and DONG, Jin Song.
Symbolic analysis of an electric vehicle charging protocol. (2014). Proceedings of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS), Tianjin, China, August 4-7. 1-8.
Available at: https://ink.library.smu.edu.sg/sis_research/4983
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1109/ICECCS.2014.11