Verification of A Key Chain Based TTP Transparent CEM Protocol

Authors:
Zhiyuan Liu;Jun Pang;Chenyi Zhang
Affiliations:
University of Luxembourg, Luxembourg & Shandong University, China;University of Luxembourg, Luxembourg;University of Luxembourg, Luxembourg & University of New South Wales, Australia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 20
Cited 1

Optimistic protocols for fair exchange

Proceedings of the 4th ACM conference on Computer and communications security
Mobile values, new names, and secure communication

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alternating-time temporal logic

Journal of the ACM (JACM)
MOCHA: Modularity in Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
µCRL: A Toolset for Analysing Algebraic Specifications

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party

ISC '01 Proceedings of the 4th International Conference on Information Security
Simple and fast optimistic protocols for fair electronic exchange

Proceedings of the twenty-second annual symposium on Principles of distributed computing
A game-based verification of non-repudiation and fair exchange protocols

Journal of Computer Security - IFIP 2000
Fair certified e-mail delivery

Proceedings of the 2004 ACM symposium on Applied computing
Computer-assisted verification of a protocol for certified email

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Formal Analysis of Multiparty Contract Signing

Journal of Automated Reasoning
Generic non-repudiation protocols supporting transparent off-line TTP

Journal of Computer Security - On IWAP'05
A Certified Email Protocol Using Key Chains

AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01
Multiparty nonrepudiation: A survey

ACM Computing Surveys (CSUR)
Efficient and secure protocol in fair certified E-mail delivery

WSEAS Transactions on Information Science and Applications
Distributed analysis with µCRL: a compendium of case studies

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Extending a Key-Chain Based Certified Email Protocol with Transparent TTP

EUC '10 Proceedings of the 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
Game-based verification of multi-party contract signing protocols

FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
On the quest for impartiality: design and analysis of a fair non-repudiation protocol

ICICS'05 Proceedings of the 7th international conference on Information and Communications Security

Game-based verification of contract signing protocols with minimal messages

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In certified email (CEM) protocols, TTP transparency is an important security requirement which helps to avoid bad publicity as well as protecting individual users@? privacy. Recently we have extended the CEM protocol of Cederquist et al. to satisfy TTP transparency. As a continuation, in this paper, we formally verify the security requirement in the exteded protocol. The properties of fairness, effectiveness and timeliness are checked in the model checker Mocha, and TTP transparency is analysed in the toolsets @mCRL and CADP. The results confirm that our proposed extension achieves our design goals.