试论NPA和SVO计算模型的关联

摘要：

我们介绍了一个密码协议的计算模型.它作为BAN家族、SVO中的逻辑语义,对于BAN家族和SVO这个逻辑是有效的.我们把自己的计算模型与另一个有联系的NRL协议分析器进行了比较.通过说明如何把这些模型联系起来,我们提供了统一分析的基础,在统一分析中每一个分析工具都能发挥它们在单个模型背景下所能发挥的最大作用.,

关键词： 计算模型 BAN逻辑 SVO模型 NPA模型 密码协议

作者: 李亚敏

作者单位: 信息工程大学电子技术学院四系

会议类型: 国内会议

会议名称: 全国第十四届计算机科学及其在仪器仪表中的应用学术交流会

会议地点: 深圳

会议语种:中文

页码: 274-278,282

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