首页 | 本学科首页   官方微博 | 高级检索  
     

BAN逻辑及其在认证协议性质分析中的应用研究
作者单位:南通大学计算机科学与技术学院 江苏南通226019
摘    要:在各类安全协议中,认证协议分析正成为热点,BAN逻辑是近年来主要的认证协议分析工具之一。在分析了BAN逻辑主要规则和分析步骤之后,研究了BAN逻辑存在的各类缺陷,并对BAN类逻辑需要改进的方面进行了讨论。

关 键 词:认证协议  形式化分析  BAN逻辑

BAN Logic and It's Application in Authentication Protocol Analysis
JIN Li-ping,GU Xiang,JI Li-na. BAN Logic and It's Application in Authentication Protocol Analysis[J]. Digital Community & Smart Home, 2008, 0(12)
Authors:JIN Li-ping  GU Xiang  JI Li-na
Abstract:The security of Internet becomes more and more important today.Now the authentication protocol analysis has become a hot topic.BAN logic is one of main tools of protocol analysis.The paper analyzed constitute of BAN logic and analysis steps. Then it pointed out various kinds of demerit of BAN logic. It also discussed some possible improvement.
Keywords:Authentication Protocol  Formalized Analysis  BAN Logic
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号