您的位置： 专家智库 > >

辽宁省自然科学基金(2075068)

作品数：1 被引量：3H指数：1
相关作者：金月金锋王颖田园更多>>
相关机构：大连理工大学更多>>
发文基金：辽宁省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇密码
  • 1篇密码协议
  • 1篇分析方法

机构

  • 1篇大连理工大学

作者

  • 1篇田园
  • 1篇王颖
  • 1篇金锋
  • 1篇金月

传媒

  • 1篇计算机学报

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于刚性与相似性概念的密码协议分析方法被引量：3
2009年
如何融合计算密码学与形式演算模型两条途径以有效分析和证明复杂密码协议,是信息安全领域富有挑战性的问题之一.文中提出Dolev-Yao刚性和Dolev-Yao相似性概念,运用密码协议的语法骨架提取与语义赋值技术,建立起一个能涵盖除具有适应性入侵能力之外的任何主动攻击者和大部分有实际意义的非自由消息代数的理论分析框架.该框架内所证明的协议安全性质具有复合-稳定性,即所证明的安全性质在协议与环境复合时仍然保持成立.文中针对strand-图模型这一具体情形证明了Canetti的UC-相似性概念与这里所建立的Dolev-Yao相似性概念之间接近充分必要程度的对偶关系,从而对融合UC-理论/strand-图模型这一情形具体证明了该分析框架具有相容性和完备性.最后,根据以上理论结果讨论了如何建立一种对应的新的协议分析方法.
田园王颖金锋金月
全选 清除 导出
共1页<1>
聚类工具0