Reference : Design and formal verification of a certified email protocol with transparent TTP
Scientific journals : Article
Engineering, computing & technology : Computer science
Design and formal verification of a certified email protocol with transparent TTP
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 [> >]
Frontiers of Computer Science
[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

File(s) associated to this reference

Fulltext file(s):

Open access
FCS13.pdfAuthor postprint520.39 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.