10.3969/j.issn.1002-137X.2007.10.024
基于认证测试的一种安全协议一致性分析方法
认证测试[1]技术是串空间(strand space)理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计[2].但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析.本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向.分析过程的形式化有利于协议分析自动化工具的实现.
认证测试、安全协议、串空间模型、一致性
34
TP3(计算技术、计算机技术)
国家自然科学基金69873040
2007-12-10(万方平台首次上网日期,不代表论文的发表时间)
共4页
99-102