会议专题

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

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

BAN逻辑 N逻辑 形式化 网络安全协议

姚方伟 崔建双

北京科技大学管理学院,北京,100083

国内会议

信息系统协会中国分会第一届学术年会

北京

中文

502-505

2005-11-04(万方平台首次上网日期,不代表论文的发表时间)