文献类型：期刊文章

作　　者：何云华[1,2] 杨超[1] 张俊伟[1] 马建峰[1]

机构地区：[1]西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 [2]北方工业大学计算机学院信息安全系,北京100029

出　　处：《电子学报》

基　　金：国家自然科学基金青年基金(No.61303219);国家自然科学基金面上基金(No.61672415);陕西省自然科学基础研究计划(No.2014JQ8295);中央高校基本科研业务费(No.JB140303)

年　　份：2016

卷　　号：44

期　　号：11

起止页码：2788-2795

语　　种：中文

收录情况：BDHX、BDHX2014、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2015_2016、EI(收录号：20170703354273)、IC、JST、RCCSE、RSC、SCOPUS、ZGKJHX、核心刊

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

关 键 词：协议测试  安全属性  认证性测试  形式化模型  攻击分类  

分 类 号：TP309]