Reference : Design and formal verification of a certified email protocol with transparent TTP
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/220
Design and formal verification of a certified email protocol with transparent TTP
English
Liu, Zhiyuan [> >]
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)]
Zhang, Chenyi [> >]
2013
Frontiers of Computer Science
Springer-Verlag
7
2
279-297
Yes
International
[en] formal verification ; security protocols
[en] In certified email (CEM) protocols, trusted third party (TTP) transparency is an important security requirement which helps to avoid bad publicity as well as protecting individual users’ privacy. Cederquist et al. proposed an optimistic certified email protocol, which employs key chains to reduce the storage requirement of the TTP. We extend their protocol to satisfy the property of TTP transparency, using existing verifiably encrypted signature schemes. An implementation with the scheme based on bilinear pairing makes our extension one of the most efficient CEM protocols satisfying strong fairness, timeliness, and TTP transparency. We formally verify the security requirements of the extended protocol. The properties of fairness, timeliness and effectiveness are checked in the model checker Mocha, and TTP transparency is formalised and analysed using the toolsets mCRL and CADP
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/220

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FCS13.pdfAuthor preprint520.39 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.