BAN逻辑的可靠性分析与改进

摘要：

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的.为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证.

关键词：BAN逻辑、安全协议、形式化、非形式化、消息新鲜性、推理

所属期刊栏目：38

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60863005,61011130038;贵州大学自然科学青年科研基金资助项目2009021;贵州大学研究生创新基金资助项目省研理工2010005,校研理工2011033

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：110-115