期刊文献+

公平的非否认密码协议及其形式分析与应用 被引量:18

A Fair Non Repudiation Cryptographic Protocol and Its Formal Analysis and Applications
下载PDF
导出
摘要 在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的密码协议—— 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.
出处 《软件学报》 EI CSCD 北大核心 2000年第12期1628-1634,共7页 Journal of Software
基金 国家自然科学基金资助项目(69775015) 国家863高科技项目基金资助项目(863-306-02-01)
关键词 数字签名 非否认密码协议 公钥体制 私钥体制 信任逻辑 digital signature non repudiation cryptographic protocol public key cryptosystem private key cryptosystem belief logic
  • 相关文献

参考文献5

  • 1周典萃,卿斯汉,周展飞.Kailar逻辑的缺陷[J].软件学报,1999,10(12):1238-1245. 被引量:29
  • 2Qing Sihan,Information and Communication Security—— CCICS’99:Proceedings on the 1st Chin,2000年,230页
  • 3卿斯汉,信息和通信安全CCICS’99:第1届中国信息和通信安全学术会议论文集,2000年,230页
  • 4Deng R H,J Network System Management,1996年,4卷,3期,279页
  • 5Zhou J,Proceedings of 1996IEEE Symposium on Security and Privacy,1996年,55页

二级参考文献3

  • 1沈延生.对村民自治的期望与批评[A]..中国农村研究(2002年卷)[C].北京:中国社会科学出版社,2003..
  • 2Zhou J,Proc ’96 IEEE Sympo Security and Privacy,1996年,55页
  • 3Deng R H,J Network System Management,1996年,4卷,3期,279页

共引文献28

同被引文献117

引证文献18

二级引证文献57

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部