An improved non-repudiation protocol and its security analysis

DOI10.1007/BF02907880MaRDI QIDQ5318388zbMATH OpenFDO

Authors Li Li, Huanguo Zhang, Lina Wang

Publication date 26 September 2005

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02907880

zbMATH Keywords

converse assumption procedureextended Kailar logicnon-repudiation protocol

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Recommendations

• On the security of fair non-repudiation protocols
• Formal analysis of non-repudiation protocols with SVO logic
• Security analysis of efficient (Un-) fair non-repudiation protocols
• Information and Communications Security
• Automatic analysis of a non-repudiation protocol

Cited in

(4)

• A new mutually undeniable cryptographic protocol and its formal analysis
• Compound security protocol and its verification
• Formal analysis of non-repudiation protocols with SVO logic
• Formal analysis of timeliness in non-repudiation protocols

This page was built for publication: An improved non-repudiation protocol and its security analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5318388)