可证明安全性理论与方法研究

• 作者: 冯登国
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可证明安全性 密码方案 安全协议 RO(random oracle)模型 标准模型
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1743-1756
• 页数: 14页
• 分类号: TP309
• 字数: 16728字
• 语种: 中文

摘要

论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(random oracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展,以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展.