基于认证测试的安全协议分析

摘要：

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.

关键词：网络安全、协议分析、Strand空间模型、认证测试、认证逻辑

所属期刊栏目：17

分类号：TP309(计算技术、计算机技术)

资助基金：中国科学院资助项目90412014;江苏省重点实验室基金BM2003201;江苏省高技术研究发展计划项目BG2004036

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：148-156