您的位置： 专家智库 > >

北方工业大学计算机学院信息安全系

作品数：1 被引量：0H指数：0
相关机构：西安电子科技大学通信工程学院计算机网络与信息安全教育部重点实验室西安电子科技大学通信工程学院更多>>
发文基金：中央高校基本科研业务费专项资金陕西省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作机构

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇认证性

机构

  • 1篇北方工业大学
  • 1篇西安电子科技...

作者

  • 1篇何云华
  • 1篇马建峰
  • 1篇杨超
  • 1篇张俊伟

传媒

  • 1篇电子学报

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
协议认证性安全属性测试方法
2016年
认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性,并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞,该方法具有可行性、覆盖率高等特点.
何云华杨超张俊伟马建峰
全选 清除 导出
共1页<1>
聚类工具0