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

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

Abstract: This paper researches on equivalence problem of security protocol and presents the notion of security protocol equivalence. Messages and goals of each security protocol are formalized with different set of expression, then most general substitute of the set of expression can be solved by an algorithm. If there exists most general substitute, security protocols are equivalent, or security protocols are not equivalent. According to the equivalence relation on the set of security protocol, equivalence class of security protocol is divided, so amount of researching security protocol is decreased.

Key words: security protocol, equivalence, expression, most general substitute

中图分类号: 

• TP309