节点文献

认证协议形式分析的讨论

The discussion of formal analysis for authentication protocols

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

【Author】 Tian Jianbo Xu Shengbo Wang Yumin(School of Communication Engineering, Xidian Univ., Xian, 710071)

【摘要】ＭａｏＷｅｎｂｏ提出了对一种认证协议进行分析时更形式化的ＢＡＮ逻辑，文中对该逻辑进行了分析，并通过举例指出了其局限性．更多还原

【Abstract】 A kind of more formal logic for analyzing authentication protocols was proposed by Wenbo Mao. This paper discusses the logic and presents its limitations by examples.更多还原

【关键词】 BAN逻辑；认证协议；安全；
【Key words】 BAN logic authentication protocols security；

【基金】国家自然科学基金,“九五”军事通信预研基金

【文献出处】西安电子科技大学学报 ,JOUNAL OF XIDIAN UNIVERSITY , 编辑部邮箱 ,1998年03期

【分类号】TN918.1
【被引频次】3
【下载频次】49

知网节下载

节点文献中：

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

本文的引文网络

节点文献