BAN逻辑与N逻辑的形式化分析方法比较

摘要：

近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓.有鉴于此,人们开始考虑采用另外一些形式化逻辑分析方法对协议的安全性进行分析.本文详细介绍了一种新的Nonmonotomic逻辑(简称N逻辑)的协议形式化分析方法,将之与BAN逻辑进行了比较.结果表明N逻辑除克服了BAN逻辑存在的缺陷之外,还可以将协议的分析过程与形式化过程结合在一起,并由此找到协议的实际缺陷,因此不失为形式化分析方法的一种新途径.

关键词： BAN逻辑 N逻辑 形式化 网络安全协议

作者: 姚方伟 崔建双

作者单位: 北京科技大学管理学院,北京,100083

会议类型: 国内会议

会议名称: 信息系统协会中国分会第一届学术年会

会议地点: 北京

会议语种:中文

页码: 502-505

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