您的位置： 专家智库 > >

武汉市科技型中小企业技术创新基金(SZY11008)

作品数：1 被引量：4H指数：1
相关作者：黄伟王德军邵飞孟博更多>>
相关机构：中南民族大学更多>>
发文基金：武汉市科技型中小企业技术创新基金国家自然科学基金中南民族大学自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇拒绝服务
  • 1篇拒绝服务攻击
  • 1篇攻击性

机构

  • 1篇中南民族大学

作者

  • 1篇孟博
  • 1篇邵飞
  • 1篇王德军
  • 1篇黄伟

传媒

  • 1篇通信学报

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
协议抗拒绝服务攻击性自动化证明被引量：4
2012年
首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,最后应用ProVerif分析与验证了JFK协议与IEEE 802.11四步握手协议抗拒绝服务攻击性,发现IEEE 802.11四步握手协议存在一个新的拒绝服务攻击,并且针对IEEE 802.11四步握手协议存在的拒绝服务攻击提出了改进方法。
孟博黄伟王德军邵飞
关键词：拒绝服务攻击形式化
全选 清除 导出
共1页<1>
聚类工具0