基于BAN类逻辑的自动验证构架

摘要：

BAN逻辑和BAN类逻辑是验证安全协议简单易用的逻辑方法。基于BAN类逻辑的自动验证构架,以拥有和信仰为基础,通过使用自动分析和验证技术,解决了BAN类逻辑的理想化过程的非形式化和初始假设集合的非形式化问题,并自动的验证安全协议是否达到预期的目标。分析结果表明,该构架在一定程度上解决了BAN类逻辑的过分依赖经验和手工证明的缺陷。

关键词： 安全协议 BAN类逻辑 自动验证 非形式化

作者: 张一丹 刘军 沈文鑫

作者单位: 解放军理工大学通信工程学院 南京 210007

会议类型: 国内会议

会议名称: 中国电子学会第十四届信息论学术年会暨2007年港澳内地信息论学术研讨会

会议地点: 广州

会议语种:中文

页码: 588-591

在线出版日期: 2007-12-01（万方平台首次上网日期，不代表论文的发表时间）