10.3969/j.issn.1000-3428.2009.10.055
一种新的协议安全性分析方法
对安全协议的本质求同和存异进行讨论,在保证协议正确性的前提下,以"挑战-响应"为协议分析的基本单位,提出一种利用集合运算分析协议安全性的方法,对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明,该方法具有较好的可行性和有效性.
关联性、保密性、可识别、安全、挑战-响应
35
TN92
2009-06-12(万方平台首次上网日期,不代表论文的发表时间)
共3页
168-169,172