###
DOI:
Journal of Software:2000.11(12):1628-1634

公平的非否认密码协议及其形式分析与应用
李先贤,怀进鹏
(北京航空航天大学 计算机科学与工程系,北京,100083)
A Fair Non-Repudiation Cryptographic Protocol and Its Formal Analysis and Applications
LI Xian-xian,HUAI Jin-peng
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2575   Download 2844
Received:January 25, 2000    Revised:March 30, 2000
> 中文摘要: 在安全数据通信中,数据发送和接收的非否认性是一个极为重要的问题.近年来,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个公平的双方不可否认的密码协议——NCP(non-repudiation cryptographic protocol).这个协议解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用信任逻辑对其进行了形式分析,最后探讨了它在电子邮件中的应用.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金资助项目(69775015);国家863高科技项目基金资助项目(863-306-02-01). 国家自然科学基金资助项目(69775015);国家863高科技项目基金资助项目(863-306-02-01).
Foundation items:
Reference text:

李先贤,怀进鹏.公平的非否认密码协议及其形式分析与应用.软件学报,2000,11(12):1628-1634

LI Xian-xian,HUAI Jin-peng.A Fair Non-Repudiation Cryptographic Protocol and Its Formal Analysis and Applications.Journal of Software,2000,11(12):1628-1634