摘要： 对安全协议的本质求同和存异进行讨论，在保证协议正确性的前提下，以“挑战-响应”为协议分析的基本单位，提出一种利用集合运算分析协议安全性的方法，对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明，该方法具有较好的可行性和有效性。

关键词: 关联性, 保密性, 可识别, 安全, 挑战-响应

Abstract: Cryptographic protocol is specified as to put aside minor differences so as to seek common ground. Assuring protocol correctness, a new efficient method that servers challenge-response as analysis unit of protocol is proposed. The analysis example on Needham-Schroeder protocol and Needham-Schroeder-Lowe protocol shows that the method is feasible and availability.

Key words: relevance, secrecy, visibility, security, challenge-response

中图分类号: 

• TN92