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

	可证明安全性理论与方法研究
	冯登国
刊名	软件学报
	2005
卷号	16 期号:10 页码:1743-1756
关键词	可证明安全性密码方案安全协议 oracle）模型标准模型
ISSN号	1000-9825
其他题名	research on theory and approach of provable security
中文摘要	论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用，内容主要包括：什么是可证明安全性，可证明安全性理论涉及到的一些基本概念，RO（randomoracle）模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展，标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展，以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展．
收录类别	EI ; CSCD
语种	中文
CSCD记录号	CSCD:2166097
公开日期	2010-05-27
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/1946]
专题	软件研究所_信息安全国家重点实验室_期刊论文
推荐引用方式 GB/T 7714	冯登国. 可证明安全性理论与方法研究[J]. 软件学报,2005,16(10):1743-1756.
APA	冯登国.(2005).可证明安全性理论与方法研究.软件学报,16(10),1743-1756.
MLA	冯登国."可证明安全性理论与方法研究".软件学报 16.10(2005):1743-1756.