认证测试方法的改进及应用

摘要：

基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性.利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用.

关键词：串空间、认证测试、主体关联度、模型检测

所属期刊栏目：2

分类号：TN913

资助基金：国家高技术研究发展计划863计划2006AA01Z422

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

页数：共6页

页码：104-109