协议认证性安全属性测试方法

• 作者: 何云华 张俊伟 杨超 马建峰
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 协议测试 安全属性 认证性测试 形式化模型 攻击分类
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2788-2795
• 页数: 8页
• 分类号: TP309
• 字数: 6775字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2016.11.031

摘要

认证性建立通信双方的信任关系，是安全通信的重要保障。传统的协议测试方法只关注协议功能的正确性，无法满足认证性等安全属性测试的要求。因此，提出了一种针对协议认证性的安全属性测试方法，利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性，并在攻击场景分类的基础上设计了认证攻击算法。通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞，该方法具有可行性、覆盖率高等特点。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机网络与信息安全教育部重点实验室	389	4956	30.0	50.0
2	杨超	西安电子科技大学计算机网络与信息安全教育部重点实验室	41	333	13.0	16.0
3	张俊伟	西安电子科技大学计算机网络与信息安全教育部重点实验室	26	176	8.0	11.0
4	何云华	西安电子科技大学计算机网络与信息安全教育部重点实验室	7	17	2.0	4.0