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

出　　处：《Wuhan University Journal of Natural Sciences》2004年第3期288-292,共5页武汉大学学报（自然科学英文版）

基　　金：SupportedbytheNationalNaturalScienceFoundationofChina (90 1 0 4 0 05)andtheDoctoralScienceFoundationofMinistryofEdu cation (2 0 0 2 0 4 860 4 6)

摘　　要：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. Key words non-repudiation protocol - extended Kailar logic - converse assumption procedure CLC number TP 393. 08 Foundation item: Supported by the National Natural Science Foundation of China (90104005) and the Doctoral Science Foundation of Ministry of Education (20020486046)Biography: Li Li(1976-), female, Ph. D candidate, research direction: network security and formal analysis of security protocol.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. Key words non-repudiation protocol - extended Kailar logic - converse assumption procedure CLC number TP 393. 08 Foundation item: Supported by the National Natural Science Foundation of China (90104005) and the Doctoral Science Foundation of Ministry of Education (20020486046)Biography: Li Li(1976-), female, Ph. D candidate, research direction: network security and formal analysis of security protocol.

关 键 词：non-repudiation protocol extended Kailar logic converse assumption procedure 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TN915.04[自动化与计算机技术—计算机科学与技术]