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

被引：95

作者：

冯登国 ^{[1
]}

机构：

[1] 信息安全国家重点实验室(中国科学院软件研究所) 北京100080

来源：

软件学报 | 2005年 / 10期

关键词：

可证明安全性; 密码方案; 安全协议; RO(randomoracle)模型; 标准模型;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

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

引用

页码：1743 / 1756

页数：14

共 6 条

[1] The random oracle methodology, revisited[J] . Ran Canetti,Oded Goldreich,Shai Halevi.Journal of the ACM (JACM) . 2004 (4)
[2] Improving the exact security of digital signature schemes
Micali, S
Reyzin, L
[J]. JOURNAL OF CRYPTOLOGY, 2002, 15 (01) : 1 - 18
[3] A LOGIC OF AUTHENTICATION
BURROWS, M
ABADI, M
NEEDHAM, R
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (01): : 18 - 36
[4] USING ENCRYPTION FOR AUTHENTICATION IN LARGE NETWORKS OF COMPUTERS
NEEDHAM, RM
SCHROEDER, MD
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (12) : 993 - 999
[5] Optimal Asymmetric Encryptpion-How to Encrypt with RSA .2 Bellare M,Rogaway P. Advances in Cryptology-Proceedings of EUROCRYPT’94 . 1995
[6] A Signature Scheme as Secure as the Diffie-Hellman Problem .2 Goh E,Jarecki S. Advances in Cryptology, Eurocyrpt 2003 . 2003

← 1 →