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

A Fair Non Repudiation Cryptographic Protocol and Its Formal Analysis and Applications

作　　者：李先贤[1] 怀进鹏[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系,北京100083

出　　处：《软件学报》2000年第12期1628-1634,共7页Journal of Software

基　　金：国家自然科学基金资助项目(69775015);国家863高科技项目基金资助项目(863-306-02-01)

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

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

分 类 号：TN919[电子电信—通信与信息系统] TP393.098[电子电信—信息与通信工程]