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

怀进鹏李先贤

北京航空航天大学;

摘要：

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

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

所属期刊栏目：11

分类号：TP393(计算技术、计算机技术)

资助基金：中国科学院资助项目69775015;国家科技攻关项目863-306-02-01

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1628-1634