刘伟兵

作品数：1被引量：10H指数：1
导出分析报告
发文主题：形式化方法形式化信息安全密码协议网络安全更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算可靠的密码协议形式化分析综述被引量：10
《计算机学报》2014年第5期993-1016,共24页雷新锋 宋书民 刘伟兵 薛锐 
国家自然科学基金(61170280);中国科学院先导项目(XDA06010701);中国科学院信息工程研究所密码基金资助~~
密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应...
关键词：密码协议 形式化方法 计算可靠性 信息安全 网络安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部