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

Wuhan University Journal of Natural Sciences

An Improved Non-Repudiation Protocol and Its Security Analysis

Lili, ZHANGHuan-guo, WANGLi-na

Published Jan 1, 2004• 0 citations
OpenAlex

Abstract

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.

Related papers

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

Improvement of Kim's fair non-repudiation protocol

Jianming Zhu

On the basis of illustrating the Kim's fair non-repudiation protocol,the LSG's protocol is analyzed and the unfairness caused by replay attack is pointed,then a new improvement of Kim's protocol is presented and the fairness and accountability is analyzed by the new Kailar logic.

Computer Engineering and Applications Journal•Jan 1, 2009•0 citations

A New Fair and Non-repudiation Protocol

Xiang Li

The non-repudiation and fairness of sender and receiver are essential in secure data transport protocol, it has been usually implemented by non- repudiation protocol used during data transmission. In this paper,a new fair non-repudiation and fairness protocol is presented based on the correction of CMP1 protocol which has some flaws. It has been verified satisfying non-repudiation and fairness by advanced Kailar logic, it can be abroad applied in E-mail and E-contract etc.

Jisuanji gongcheng•Jan 1, 2006•2 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

A New Mutually Undeniable Cryptographic Protocol and Its Formal Analysis

Jiwen Zeng

Non-repudiation service is the foundation of security on which important data and sensitive news are conveyed on the Internet in ecommerce.Non-repudiation protocol is a special network protocol which provides non-repudiation service.But real non-repudiation protocol is relatively few.In this paper,a new mutually undeniable cryptographic protocol was proposed.The protocol not only prevents some possible types of attack(for example,Middle-in-Attack,Replay attack,Impersonation Attack et al.),but also avoids the trusted third party being the bottleneck problem,and ensures the confidentiality and the integrity of transferring data,real non-repudiation of the sender and the receiver.The new protocol is of mutually undeniable property.

Journal of Xiamen University•Jan 1, 2008•0 citations

A fair non-repudiation security protocol with off-line TTP

Xi Wang, Xiangming Wen, Ye Liu +2 more

A fair non-repudiation security protocol can provide non-repudiation proof for two parts of the exchange at the same time, or both get nothing. But many protocols performed weak in logical analysis. In this paper, a group of new protocols(with 3 sub-protocols) with off-line The Third Party(TTP) are presented. We analysis them with a new Kailar logic analytical method. Finally, the proposed protocols are proved to satisfy the fairness, non-repudiation and efficiency from the theory. And they propose some protections for the networks which have merely physical securities such as Internet, and provide some realistic reference values to the establishment of security mobile ad-hoc networks.

IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI)•Jul 1, 2009•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.
Non-repudiation service is the foundation of security on which important data and sensitive news are conveyed on the Internet in ecommerce.Non-repudiation protocol is a special network protocol which provides non-repudiation service.But real non-repudiation protocol is relatively few.In this paper,a new mutually undeniable cryptographic protocol was proposed.The protocol not only prevents some possible types of attack(for example,Middle-in-Attack,Replay attack,Impersonation Attack et al.),but also avoids the trusted third party being the bottleneck problem,and ensures the confidentiality and the integrity of transferring data,real non-repudiation of the sender and the receiver.The new protocol is of mutually undeniable property.
A fair non-repudiation security protocol can provide non-repudiation proof for two parts of the exchange at the same time, or both get nothing. But many protocols performed weak in logical analysis. In this paper, a group of new protocols(with 3 sub-protocols) with off-line The Third Party(TTP) are presented. We analysis them with a new Kailar logic analytical method. Finally, the proposed protocols are proved to satisfy the fairness, non-repudiation and efficiency from the theory. And they propose some protections for the networks which have merely physical securities such as Internet, and provide some realistic reference values to the establishment of security mobile ad-hoc networks.