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

• 作者: 陈力琼 陈贤
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 串空间 认证测试 主体关联度 模型检测
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 学术研究
• 页码范围: 104-109
• 页数: 6页
• 分类号: TN913
• 字数: 4459字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.01.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈贤	西安电子科技大学通信工程系	2	12	1.0	2.0
2	陈力琼	上海交通大学计算机科学与工程系	4	15	2.0	3.0