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