基于消息匹配的认证协议分析

• 作者: 陈克非 陈力琼
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 消息匹配 串空间 知识集 认证测试
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 126-128
• 页数: 3页
• 分类号: TP393.08
• 字数: 4386字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.12.044

摘要

为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法.利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变量进行赋值,并匹配消息中已被确定的常量,以此找出具体的攻击路径.同时,结合认证测试方法简化分析步骤,针对分析过程对协议进行有效的改进.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈克非	上海交通大学计算机科学与工程系	122	1257	21.0	29.0
5	陈力琼	上海交通大学计算机科学与工程系	4	15	2.0	3.0