研究了安全協議的等價性問題，提出了安全協議等價的概念。把每個安全協議的消息和目標分別形式化為表達式集，通過一個算法分別求各表達式集合的最一般代換。如果最一般代換都存在，說明安全協議是等價的，反之則說明安全協議是不等價的。利用安全協議集合上的等價關系，可以劃分出安全協議等價類，從而減少了需研究的安全協議的數量。