Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Dianzi Ke-ji Daxue xuebao

Analysis and Improvement of a Certified E-Mail Protocol

Peng Dai-yuan

Published Jan 1, 2013• 0 citations
OpenAlex

Abstract

The security attributes of certified e-mail protocol include confidentiality,non-repudiation,fairness.Aiming at to remedy the lack of confidentiality and non-repudiation of the a typical certified mail protocol,an improved certified mail protocol with transparent semi-trusted third party is proposed.To improve the protocol efficiency,a method applying Kailar logic in compositional analysis is proposed for analyzing the improved protocol.The analysis results indicate the improved protocol can meet confidentiality and non-repudiation.

Related papers

Improvement and Formal Analysis of a Fair Multi-party Certified Mail Protocol

Peng Dai-yuan

Fair multi-party certified mail protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery.Therefore,the protocol needs to be confidential,and meets non-repudiation,fairness,exclusion and timeliness.This paper pointed out potential security concern for a current protocol,and improved the protocol based on signcryption scheme.The analysis by Kailar logic shows that the protocol can achieve the non-repudiation,fairness.Furthermore,it has advantage of resisting the attacks such as distort,replay and conspiracy.

•Jan 1, 2012•0 citations

Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol

Yuexiang Gao, Daiyuan Peng, Lili Yan

Fair Multi-Party Certified Mail Protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery. Therefore, the protocol needs to be Confidential, Non-repudiation and Fairness. This paper pointed out potential security concern for a current protocol, and also came out an offline third party fair multi-party certified Mail Protocol based on signcryption scheme. Through the analysis by Kailar logic, it is can be seen the protocol can achieve the non-repudiation, fairness. Furthermore, it has advantage of resisting the attacks as distort, replay and conspiracy.

International Conference on Machine Learning and Cybernetics•Jul 1, 2010•1 citation

Certified e-Mail Protocol with Verifiable Third Party

Macià Mut–Puigserver, Josep Lluís Ferrer Gomila, Llorenç Huguet Rotger

Certified e-mail is a particular case of fair exchange. TTPs play an important role in this kind of protocols and their reliability and security is a problem that needs to be addressed. In order to enhance the trust in non-repudiation services we propose TTPs that provide verifiable services, so users get evidence of the TTPs operations. In this paper we design a new certified e-mail protocol where the user confidence on what is happening when he invokes the TTP is enhanced.

IEEE Conference on Commerce and Enterprise Computing (CEC)•Apr 12, 2005•12 citations

An Improved Non-Repudiation Protocol and Its Security Analysis

Lili, ZHANGHuan-guo, WANGLi-na

This paper proposes an improved non-repudiation protocol after pointing out two attacks on an existing non-repudiation protocol. To analyze the improved protocol,it also proposes an extension of Kailar logic. Using the extended Kailar logic, the security analysis of the improved protocol has been presented.

Wuhan University Journal of Natural Sciences•Jan 1, 2004•0 citations

An improved non-repudiation protocol and its security analysis

Li Li, Huanguo Zhang, Lina Wang

This paper proposes an improved non-repudiation protocol after pointing out two attacks on an existing non-repudiation protocol. To analyze the improved protocol, it also proposes an extension of Kailar logic. Using the extended Kailar logic, the security analysis of the improved prototocol has been presented.

Wuhan University Journal of Natural Sciences•May 1, 2004•6 citations

The Analysis and Improvement of the Certified E-Mail Protocol

Jun Yao Ye, Ying Lian Wang

In the recent years, the design and analysis of the security of e-commerce protocol has become a hot scheme. The confidentiality and fairness are important properties to measure the security of the e-commerce. It's also the important prerequisite of the successful protocol. Confidentiality and fairness are the basic properties of the secure e-commerce protocol. But the certified e-mail protocol as one of the e-commerce protocol can't satisfy these properties. This paper points out some drawbacks of teh CMP protocol, and analyses the protocol and makes improvements. The improved CMP protocol satisfies the confidentiality and fairness.

Applied Mechanics and Materials•Feb 6, 2014•1 citation
The security attributes of certified e-mail protocol include confidentiality,non-repudiation,fairness.Aiming at to remedy the lack of confidentiality and non-repudiation of the a typical certified mail protocol,an improved certified mail protocol with transparent semi-trusted third party is proposed.To improve the protocol efficiency,a method applying Kailar logic in compositional analysis is proposed for analyzing the improved protocol.The analysis results indicate the improved protocol can meet confidentiality and non-repudiation.
Fair multi-party certified mail protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery.Therefore,the protocol needs to be confidential,and meets non-repudiation,fairness,exclusion and timeliness.This paper pointed out potential security concern for a current protocol,and improved the protocol based on signcryption scheme.The analysis by Kailar logic shows that the protocol can achieve the non-repudiation,fairness.Furthermore,it has advantage of resisting the attacks such as distort,replay and conspiracy.
Fair Multi-Party Certified Mail Protocol is a value service to deliver important data over internet with guaranteed receipt for each successful delivery. Therefore, the protocol needs to be Confidential, Non-repudiation and Fairness. This paper pointed out potential security concern for a current protocol, and also came out an offline third party fair multi-party certified Mail Protocol based on signcryption scheme. Through the analysis by Kailar logic, it is can be seen the protocol can achieve the non-repudiation, fairness. Furthermore, it has advantage of resisting the attacks as distort, replay and conspiracy.
In the recent years, the design and analysis of the security of e-commerce protocol has become a hot scheme. The confidentiality and fairness are important properties to measure the security of the e-commerce. It's also the important prerequisite of the successful protocol. Confidentiality and fairness are the basic properties of the secure e-commerce protocol. But the certified e-mail protocol as one of the e-commerce protocol can't satisfy these properties. This paper points out some drawbacks of teh CMP protocol, and analyses the protocol and makes improvements. The improved CMP protocol satisfies the confidentiality and fairness.