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

冯登国

首页> 中文期刊> 《软件学报》 >可证明安全性理论与方法研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2005年第10期|1743-1756|共14页
作者
冯登国;
展开▼
作者单位

信息安全国家重点实验室(中国科学院;

软件研究所);

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
可证明安全性; 密码方案; 安全协议; RO(random oracle)模型; 标准模型;

相似文献

中文文献
外文文献
专利

1. 可证明安全性自动化证明方法研究 [J] . 顾纯祥 ,祝跃飞 ,光焱 . 电子与信息学报 . 2009,第012期
2. 艺术史学的当代性认识——2020年度国家社科基金艺术学重大项目"跨门类艺术史学理论与方法研究"课题综述 [J] . 夏燕靖 . 工业工程设计 . 2021,第002期
3. 历史性城市(镇)景观理论与方法研究述要 [J] . 吴灈杭 . 城市建筑 . 2021,第007期
4. 艺术史学的当代性认识——2020年度国家社科基金艺术学重大项目“跨门类艺术史学理论与方法研究”课题综述 [J] . 夏燕靖 . 工业工程设计 . 2021,第002期
5. 新时代内河航运开发的全面经济性评价理论与方法研究 [J] . 吴晓磊 ,刘晓玲 ,吴澎 . 水运工程 . 2021,第008期
6. 密码学中的可证明安全性 [C] . 杨波 . 2015第七届全国密码学与信息安全教学研讨会 . 2015
7. 认证密钥交换协议可证明安全性的研究 [A] . 鱼冰 . 2010

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

摘要

著录项

相似文献

相关主题

期刊订阅