首页 | 本学科首页   官方微博 | 高级检索  
     

公平的非否认密码协议及其形式分析与应用
引用本文:李先贤,怀进鹏. 公平的非否认密码协议及其形式分析与应用[J]. 软件学报, 2000, 11(12): 1628-1634
作者姓名:李先贤  怀进鹏
作者单位:北京航空航天大学,计算机科学与工程系,北京,100083
基金项目:国家自然科学基金资助项目(69775015);国家863高科技项目基金资助项目(863-306-02-01).
摘    要:在安全数据通信中,数据发送和接收的非否认性是一个极为重要的问题.近年来,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个公平的双方不可否认的密码协议——NCP(non-repudiation cryptographic protocol).这个协议解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用信任逻辑对其进行了形式分析,最后探讨了它在电子邮件中的应用.

关 键 词:数字签名  非否认密码协议  公钥体制  私钥体制  信任逻辑
收稿时间:2000-01-25
修稿时间:2000-03-30

A Fair Non-Repudiation Cryptographic Protocol and Its Formal Analysis and Applications
LI Xian-xian and HUAI Jin-peng. A Fair Non-Repudiation Cryptographic Protocol and Its Formal Analysis and Applications[J]. Journal of Software, 2000, 11(12): 1628-1634
Authors:LI Xian-xian and HUAI Jin-peng
Abstract:Non-Repudiation in data sending and receiving is essential in the secure communication. In recent years, this kind of cryptographic protocols has been mainly implemented by the intervention of the trusted third party in transmission and encryption of data, thus the dependability and security of the trusted third party become a bottleneck in these secure systems. In this paper, a fair non-repudiation cryptographic protocol (NCP) for both sender and receiver is proposed. It is a more efficient and secure protocol, which solves the bottleneck problem of trusted third party. And its formal analysis is presented using the belief logic. Finally its applications to E-mail communication are discussed.
Keywords:digital signature   non-repudiation cryptographic protocol   public key cryptosystem   private key cryptosystem   belief logic
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号