J4 ›› 2004, Vol. 26 ›› Issue (2): 1-3.
• 论文 • 下一篇
李之棠[1] 石曙东[2] 解云峰[1]
出版日期:
发布日期:
Online:
Published:
摘要：
随着网络的发展，协议的安全性越来越受到关注，现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham—Schmeder协议的安全性，得出其存在的缺陷并提出改进方案。
关键词: 网络安全 Needham-Schmeder协议 数据加密 数字签名 数据传输
李之棠[1] 石曙东[2] 解云峰[1]. NS协议的形式化分析与改进[J]. J4, 2004, 26(2): 1-3.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2004/V26/I2/1
