期刊文献+

NSSK协议改进及其形式化分析

The NSSK Protocol Improvement and the Formalization Analyses
下载PDF
导出
摘要 NSSK协议的主要功能是完成身份的双向认证,提出一种新的攻击方法,并给出改进方案,使之具有更强的安全性,最后应用BAN形式化分析改进的协议是成功有效的。 The main function of the NSSK protocol is to complete the bi-directional authentication. This article proposes one new attack method and gives an improvement plan for a stronger security. BAN formalization analysis proves this improvement protocol to be effective.
出处 《株洲工学院学报》 2006年第2期129-131,共3页 Journal of Zhuzhou Institute of Technology
关键词 NSSK协议 BAN逻辑 规则 逻辑分析 NSSK protocol BAN logic nile logical analysis
  • 相关文献

参考文献3

  • 1Needham R,Schroeder M.Using encryption for authentication in large networks of computers[J].Communications of the ACM,1978,21(12):993-999.
  • 2Wenbo mao.现代密码学理论和实践[M].王继林,伍前红译.北京:电子工业出版社,2004.
  • 3Catherine Meadows.Formal Methods for Cryptographic Protocol Analysis:Emerging Issues and Trends[J].IEEE Journal on Selected Areas in Communictions,2003,21(1):44-54.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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