Reference : Symbolic analysis of an electric vehicle charging protocol.
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/18033
Symbolic analysis of an electric vehicle charging protocol.
English
Li, Li [National University of Singapore]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Liu, Yang []
Sun, Jun []
Dong, Jin Song [National University of Singapore]
2014
Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS)
IEEE CS
Yes
No
International
19th IEEE Conference on Engineering of Complex Computer Systems
2014
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/18033

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ICECCS14.pdfAuthor preprint320.77 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.