dc.contributor.author | Li, L | |
dc.contributor.author | Pang, J | |
dc.contributor.author | Liu, Y | |
dc.contributor.author | Sun, J | |
dc.contributor.author | Dong, JS | |
dc.contributor.editor | Bilof R. | |
dc.date.accessioned | 2017-10-25T23:25:38Z | |
dc.date.available | 2017-10-25T23:25:38Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 9781479954827 | |
dc.identifier.doi | 10.1109/ICECCS.2014.11 | |
dc.identifier.uri | http://hdl.handle.net/10072/172927 | |
dc.description.abstract | In this paper, we describe our analysis of a recently proposed electric vehicle charing protocol. The protocol builds on complicated cryptographic primitives such as commitment, zero-knowledge 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 existing tools for security protocol analysis lack support for all the required features. In our analysis, we employ and combine the strength of two state-of-the-art symbolic verifiers, Tamarin and Prove if, to check all important properties of the protocol. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | IEEE - Institute of Electrical and Electronics Engineers | |
dc.publisher.place | United States of America | |
dc.relation.ispartofconferencename | ICECCS 2014 | |
dc.relation.ispartofconferencetitle | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | |
dc.relation.ispartofdatefrom | 2014-08-04 | |
dc.relation.ispartofdateto | 2014-08-07 | |
dc.relation.ispartoflocation | Tianjin, China | |
dc.relation.ispartofpagefrom | 11 | |
dc.relation.ispartofpageto | 18 | |
dc.relation.ispartofedition | 1st | |
dc.subject.fieldofresearch | Software engineering not elsewhere classified | |
dc.subject.fieldofresearchcode | 461299 | |
dc.title | Symbolic analysis of an electric vehicle charging protocol | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Dong, Jin-Song | |