一种新的协议安全性分析方法

作者：胡建军

来源：计算机工程, 2009, 35(10): 168-169+172.

• 关联性
• 保密性
• 可识别
• 安全
• 挑战-响应 relevance
• secrecy
• visibility
• security
• challenge-response

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