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

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