您的位置： 专家智库 > >

刘伟兵

作品数：1 被引量：10H指数：1
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇信息安全
  • 1篇形式化
  • 1篇形式化方法
  • 1篇网络
  • 1篇网络安全
  • 1篇密码
  • 1篇密码协议

机构

  • 1篇中国科学院

作者

  • 1篇雷新锋
  • 1篇薛锐
  • 1篇宋书民
  • 1篇刘伟兵

传媒

  • 1篇计算机学报

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
计算可靠的密码协议形式化分析综述被引量：10
2014年
密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.
雷新锋宋书民刘伟兵薛锐
关键词：密码协议形式化方法信息安全网络安全
全选 清除 导出
共1页<1>
聚类工具0