您的位置： 专家智库 > >

霍腾飞

作品数：1 被引量：1H指数：1
供职机构：中国人民解放军信息工程大学理学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇逻辑分析
  • 1篇可证安全
  • 1篇分析方法
  • 1篇安全协议

机构

  • 1篇中国人民解放...
  • 1篇中国人民解放...

作者

  • 1篇邓帆
  • 1篇李益发
  • 1篇霍腾飞

传媒

  • 1篇计算机应用与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种混合的安全协议分析方法被引量：1
2011年
在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。通过对两种观点的研究,按照优势互补的原则将两者相调和,提出了一种新的形式化分析方法,该方法可提供更为完全的安全协议形式化分析。
霍腾飞李益发邓帆
关键词：可证安全逻辑分析安全协议
全选 清除 导出
共1页<1>
聚类工具0