文献检索-宁波市创意产业特色资源库

限定检索结果

协议认证性安全属性测试方法: 收藏
分享
引用; 《电子学报》2016年第11期44卷 2788-2795页; 作者：何云华杨超张俊伟马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北方工业大学计算机学院信息安全系北京100029; 认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩...; 认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性,并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞,该方法具有可行性、覆盖率高等特点.; 来源：详细信息评论

限定检索结果