Show simple item record

dc.contributor.authorLi, L
dc.contributor.authorPang, J
dc.contributor.authorLiu, Y
dc.contributor.authorSun, J
dc.contributor.authorDong, JS
dc.contributor.editorBilof R.
dc.date.accessioned2017-10-25T23:25:38Z
dc.date.available2017-10-25T23:25:38Z
dc.date.issued2014
dc.identifier.isbn9781479954827
dc.identifier.doi10.1109/ICECCS.2014.11
dc.identifier.urihttp://hdl.handle.net/10072/172927
dc.description.abstractIn 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.peerreviewedYes
dc.languageEnglish
dc.publisherIEEE - Institute of Electrical and Electronics Engineers
dc.publisher.placeUnited States of America
dc.relation.ispartofconferencenameICECCS 2014
dc.relation.ispartofconferencetitleProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
dc.relation.ispartofdatefrom2014-08-04
dc.relation.ispartofdateto2014-08-07
dc.relation.ispartoflocationTianjin, China
dc.relation.ispartofpagefrom11
dc.relation.ispartofpageto18
dc.relation.ispartofedition1st
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleSymbolic analysis of an electric vehicle charging protocol
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record