收稿日期: 2003-03-24
修回日期: 2003-05-15
网络出版日期: 2004-03-19
基金资助
国家自然科学基金(10271069);陕西省自然科学基础研究计划项目(2002A03)资助
A Hybrid Cryptosystem-Based Non-Repudiation Protocoland Its Formal Analysis
Received date: 2003-03-24
Revised date: 2003-05-15
Online published: 2004-03-19
李艳平 , 张建中 . 一种基于混合密码体制的不可否认协议及其形式化分析[J]. 中国科学院大学学报, 2004 , 21(2) : 185 -190 . DOI: 10.7523/j.issn.2095-6134.2004.2.007
A non-repudiation cryptographic protocol based on hybrid cryptosystem is proposed and it is a more perfectprotocol.It can realize the true fairness and non-repudiation of both parties even the channels are unreliable andinsecure.Usually the protocol only needs three interactions of participants and the transferring data keep confidentialfor others except for the sender and the receiver,whose transactions are protected.The Trusted Third Party (TTP)performs evidences verification,generation and publication and its bottleneck problem is solved completely.Finally,we give its formal analysis and prove the protocols fairness,correctness and security.
Key words： cheating; denying; BAN logic; Kailar logic
[1] ISO IEC CD13888-2.Non-Repudiation, Part 2:Using symmetric enciphment algorithms.ISO IEC JJCI SC27 N864, 1994
[2] Zhou J,Gollman D.A fair non-repudiation protocol.In :RroscheisenM,Serban C(eds).Proceeding of 1996 IEEE Symposium on Securicity and Privacy.Oakland :IEEE Computer Society Press, 1996.55-61
[3] 李先贤, 怀进鹏.一种双方不可否认的密码协议及其应用.北京航空航天大学学报, 2002, 27(2):182-185
[4] 邓所云, 胡正名, 杨义先, 等.一个公平的反拒认协议.通信学报, 2002,23(2):51-57
[5] Burrows M, Abadi M, Needham R.A logic of authentication.ACMTransaction on Computer Systems, 1990, 8(1):18-36
[6] Kai lar R.Accountabi lity in electronic commerce protocols.IEEE Transactions on Software Engineering, 1996, 22(5):313-328
[7] 周典萃, 卿斯汉, 周展飞.Kailar 逻辑的缺陷.软件学报, 1999, 10(12):1238-1245
[8] 周典萃, 卿斯汉, 周展飞.电子商务的一种新的分析工具.软件学报, 2001, 12(9):1318-1328
[9] 卿斯汉.密码学与计算机网络安全.中国计算机学会学术著作丛书.北京:清华大学出版社, 2001.128-147
/
| 〈 |
|
〉 |
