安全协议的等价性问题

摘要：

研究了安全协议的等价性问题,提出了安全协议等价的概念.把每个安全协议的消息和目标分别形式化为表达式集,通过一个算法分别求各表达式集合的最一般代换.如果最一般代换都存在,说明安全协议是等价的,反之则说明安全协议是不等价的.利用安全协议集合上的等价关系,可以划分出安全协议等价类,从而减少了需研究的安全协议的数量.

关键词：安全协议、等价、表达式、最一般代换

所属期刊栏目：33

分类号：TP309(计算技术、计算机技术)

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

页数：共2页

页码：45-46