节点文献

关于BAN逻辑扩展的注记

A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 郑东田建波王育民

【Author】 Zheng Dong Tian Jianbo Wang Yumin (Lab. 105, Xidian University, Xi’an 710071)

【机构】 西安电子科技大学105室西安电子科技大学105室 西安 710071西安 710071西安 710071

【摘要】 本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。

【Abstract】 This paper points out a mistake occurred in the Protocol(1)(W.Mao, 1995), the mistake is due to a wrong initial assumption, also this paper shows the weakness of the N-u based-rules. Finaly, an application of the N-u rules is given by an example.

【关键词】 认证协议BAN逻辑
【Key words】 Authentication protocolsBAN-like logics
【基金】 国家自然科学基金(69683005)
  • 【分类号】TN918
  • 【下载频次】44
节点文献中: 

本文链接的文献网络图示:

本文的引文网络