您的位置： 专家智库 > >

广西壮族自治区自然科学基金(054205)

作品数：1 被引量：0H指数：0
相关作者：董荣胜高三海更多>>
相关机构：桂林电子科技大学更多>>
发文基金：广西研究生教育创新计划广西壮族自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇安全协议

机构

  • 1篇桂林电子科技...

作者

  • 1篇高三海
  • 1篇董荣胜

传媒

  • 1篇桂林电子科技...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于安全协议操作语义模型的组合协议分析及验证
2007年
协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击。结果表明,操作语义模型是分析与验证组合协议的一种可行方法。
高三海董荣胜
全选 清除 导出
共1页<1>
聚类工具0