公平的非否认密码协议及其形式分析与应用

被引：15

作者：

李先贤

怀进鹏

机构：

[1] 北京航空航天大学计算机科学与工程系!北京

来源：

软件学报 | 2000年 / 12期

关键词：

数字签名; 非否认密码协议; 公钥体制; 私钥体制; 信任逻辑;

D O I：

10.13328/j.cnki.jos.2000.12.010

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的密码协议—— N CP( non- repudiation cryptographic protocol) .这个协议解决了可信第三方的性能瓶颈问题 ,是一个更为有效的、安全的密码协议 .用信任逻辑对其进行了形式分析 ,最后探讨了它在电子邮件中的应用

引用

页码：1628 / 1634

页数：7

共 5 条

[1] Kailar逻辑的缺陷 [J].

周典萃 ;

卿斯汉 ;

周展飞 .

软件学报, 1999, (12) :1238-1245

[2]

信息和通信安全—CCICS'99.[M].卿斯汉;冯登国编;.科学出版社.2000,

[3]

Practical protocols for certified electronic mail.[J].Robert H. Deng;Li Gong;Aurel A. Lazar;Weiguo Wang.Journal of Network and Systems Management.1996, 3

[4] A LOGIC OF AUTHENTICATION [J].

BURROWS, M ;

ABADI, M ;

NEEDHAM, R .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (01) :18-36

[5] A RANDOMIZED PROTOCOL FOR SIGNING CONTRACTS [J].

EVEN, S ;

GOLDREICH, O ;

LEMPEL, A .

COMMUNICATIONS OF THE ACM, 1985, 28 (06) :637-647

← 1 →