×

基于抽象驱动SAT的安全协议分析。 (英语) Zbl 1204.68031号

Giunchiglia,Enrico(编辑)等,可满足性测试的理论和应用。2003年5月5日至8日,意大利圣玛格丽塔·利古雷,第六届国际SAT会议。选定的修订论文。柏林:施普林格出版社(ISBN 3-540-20851-8/pbk)。莱克特。注释计算。科学。2919, 257-271 (2004).
总结:在之前的工作中,我们提出了一种将协议不安全问题自动转换为命题逻辑的方法,其最终目标是基于最先进的SAT解算器构建安全协议的自动模型检查器。在本文中,我们提出了一种基于抽象/细化策略的改进过程,该策略通过交叉编码和求解阶段,显著提高了模型检测器的整体性能。
关于整个系列,请参见[兹比尔1030.00034].

MSC公司:

68个M12 网络协议
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部