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

作     者：冯登国 FENG Deng-Guo

作者机构：信息安全国家重点实验室(中国科学院软件研究所)北京100080 

基　　金：国家重点基础研究发展规划(973) 国家自然科学基金~~ 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2005年第16卷第10期

页      码：1743-1756页

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

主 题 词：可证明安全性 密码方案 安全协议 RO(random oracle)模型 标准模型 

学科分类：08[工学] 0839[0839] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1360/jos161743

馆 藏 号：203547361...