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

BAN逻辑的可靠性分析与改进
引用本文:王正才,许道云,王晓峰,唐郑熠,韦立.BAN逻辑的可靠性分析与改进[J].计算机工程,2012,38(17):110-115.
作者姓名:王正才  许道云  王晓峰  唐郑熠  韦立
作者单位:贵州大学计算机科学与信息学院
基金项目:国家自然科学基金资助项目(60863005,61011130038);贵州大学自然科学青年科研基金资助项目((2009)021);贵州大学研究生创新基金资助项目(省研理工2010005,校研理工2011033)
摘    要:BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。

关 键 词:BAN逻辑  安全协议  形式化  非形式化  消息新鲜性  推理
收稿时间:2011-10-11
修稿时间:2011-12-05

Reliability Analysis and Improvement of BAN Logic
WANG Zheng-cai,XU Dao-yun,WANG Xiao-feng,TANG Zheng-yi,WEI Li.Reliability Analysis and Improvement of BAN Logic[J].Computer Engineering,2012,38(17):110-115.
Authors:WANG Zheng-cai  XU Dao-yun  WANG Xiao-feng  TANG Zheng-yi  WEI Li
Affiliation:(College of Computer Science & Information,Guizhou University,Guiyang 550025,China)
Abstract:
Keywords:BAN logic  security protocol  formalization  informalization  message freshness  reasoning
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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