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

International Conference on Machine Learning and Cybernetics

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

Yuexiang Gao, Daiyuan Peng, Lili Yan

Published Jul 1, 2010• 1 citation
Publisher

Abstract

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.

DOI
10.1109/icmlc.2010.5580724

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

Analysis and Improvement of a Certified E-Mail Protocol

Peng Dai-yuan

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.

Dianzi Ke-ji Daxue xuebao•Jan 1, 2013•0 citations

Multi-party Certified Mail Protocol Based on Signcryption

YU Cheng-zun

A new signcryption scheme is developed based on Domain-verifiable signcryption.The scheme simultaneously fulfills both signature and encryption in a single logical step at a lower computational cost.In particular,it can be used by certified mail protocol,and based on the scheme a multi-party certified mail protocol is proposed,its fairness and non-repudiation are proved.

Dianzi xuebao•Jan 1, 2005•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

A New Certified E-Mail Protocol Based on Signcrytion

Wen Qiao-yan

A certified e-mail protocol is about fair exchange of a message m for its receipt. Fairness is the most important property in exchange. We modify existing W-B signcryption scheme so that it can be used by certified e-mail protocols,and based on the modified scheme we propose a new certified e-mail protocol. The protocol makes use of an off-line and transparent trusted third party only in exceptional circumstances,and has lower computation overhead and better efficiency comparing related protocol.

Dianzi Ke-ji Daxue xuebao•Jan 1, 2008•1 citation

Certified Mail Protocols by Using Signcryption System

Wang Gai-fen

Certified mail protocol is fair exchange of a message M for a receipt.Fairness is the most important property in exchange.We modify existing signcryption system so that it can be used by certified mail protocols,and based on the system we propose new certified mail protocols to guarantee fairness and low computation cost.

Dianzi xuebao•Jan 1, 2003•0 citations
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.
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.
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.
A certified e-mail protocol is about fair exchange of a message m for its receipt. Fairness is the most important property in exchange. We modify existing W-B signcryption scheme so that it can be used by certified e-mail protocols,and based on the modified scheme we propose a new certified e-mail protocol. The protocol makes use of an off-line and transparent trusted third party only in exceptional circumstances,and has lower computation overhead and better efficiency comparing related protocol.