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

• 作者: 李亚敏
• 来源期刊: 电脑应用技术
• 学科: 工学
• 关键词: 计算模型 BAN逻辑 SVO模型 密码协议 认知逻辑
• 年，卷（期）: dnyyjs_2001,（51）
• 页码范围: 13-17
• 页数: 5页
• 分类号: TN918.2

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李亚敏	信息工程大学电子技术学院四系	4	40	3.0	4.0