| An Improved Non-Repudiation Protocol and Its Security Analysis |
| |
| 作者姓名： | LiLi ZhangHuan-guo WangLi-na |
| |
| 作者单位： | [1]SchoolofComputer,WuhanUniversity,Wuhan430072,Hubei,China [2]StateKeyLaboratoryofSoftwareEngineering,WuhanUniversity,Wuhan430072,Hubei,China |
| |
| 基金项目： | SupportedbytheNationalNaturalScienceFoundationofChina (90 1 0 4 0 05)andtheDoctoralScienceFoundationofMinistryofEdu cation (2 0 0 2 0 4 860 4 6) |
| |
| 摘 要： | This paper proposes an improved non-repudia-tion 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.
|
| 关 键 词： | 安全性分析 非否认协议 扩展Kailar逻辑 转换假设程序 |
An improved non-repudiation protocol and its security analysis |
| |
| LiLi ZhangHuan-guo WangLi-na.An Improved Non-Repudiation Protocol and Its Security Analysis[J].Wuhan University Journal of Natural Sciences,2004,9(3):288-292. |
| |
| Authors: | Li Li Zhang Huan-guo Wang Li-na |
| |
| Institution: | (1) School of Computer, Wuhan University, 430072 Wuhan, Hubei, China;(2) State Key Laboratory of Software Engineering, Wuhan University, 430072 Wuhan, Hubei, China |
| |
| 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. |
| |
| Keywords: | non-repudiation protocol extended Kailar logic converse assumption procedure |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
