计算可靠的密码协议形式化分析综述

• 作者: 刘伟兵 宋书民 薛锐 雷新锋
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 密码协议 形式化方法 计算可靠性 信息安全 网络安全
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 密码学与安全协议
• 页码范围: 993-1016
• 页数: 24页
• 分类号: TP309
• 字数: 31401字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.00993

摘要

密码协议的描述和分析有两类截然不同的方法：一类以形式化方法为主要手段，另一类以计算复杂性理论为基础．Abadi 和Rogaway首次试图将这两类不同的方法关联起来，证明一个协议在形式化模型下具有某种安全属性，那么在计算模型下也保持相应的安全属性．在这一工作的带动下，形式化方法的计算可靠性研究越来越受到关注，成为密码协议分析研究的一个重要内容．围绕这一热点问题，人们做了大量的工作．该文首先对两类分析方法做概要介绍；其次对形式化分析的计算可靠性研究成果进行分类和总结，并对各种方法的主要思想进行了介绍；最后对该领域未来的研究方向进行了展望．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锐	中国科学院信息工程研究所信息安全国家重点实验室	20	275	7.0	16.0
2	雷新锋	中国科学院信息工程研究所信息安全国家重点实验室	4	26	2.0	4.0
6	宋书民		1	22	1.0	1.0
7	刘伟兵		1	22	1.0	1.0