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

• 作者: 唐郑熠 王晓峰 王正才 许道云 韦立
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: BAN逻辑 安全协议 形式化 非形式化 消息新鲜性 推理
• 年，卷（期）: 2012,（17）
• 所属期刊栏目: 安全技术
• 页码范围: 110-115
• 分类号: TP309.2
• 字数: 5970字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.17.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学与信息学院	125	460	12.0	16.0
2	王晓峰	贵州大学计算机科学与信息学院	26	122	6.0	9.0
3	韦立	贵州大学计算机科学与信息学院	9	43	4.0	6.0
4	王正才	贵州大学计算机科学与信息学院	5	54	3.0	5.0
5	唐郑熠	贵州大学计算机科学与信息学院	12	63	4.0	7.0