标准模型中可证明安全性理论研究的一些重要进展-软件学报.doc

下载文档 降价啦

1
0
约2.67万字
约 14页
2017-09-04 发布于天津
举报
版权申诉
保障服务

标准模型中可证明安全性理论研究的一些重要进展-软件学报.doc

1、本文档共14页，其中可免费阅读5页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

可证明安全性理论与方法研究冯登国信息安全国家重点实验室中国科学院软件研究所北京摘要论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用内容主要包括什么是可证明安全性可证明安全性理论涉及到的一些基本概念模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展关键词可证明安全性密码方案安全协议模型标准模型中图法分类号文献标识码目前多数安全协议的设计

可证明安全性理论与方法研究( 冯登国+ (信息安全国家重点实验室(中国科学院软件研究所),北京 100080) Research on Theory and Approach of Provable Security FENG Deng-Guo+ (State Key Laboratory of Information Security (Institute of Software, The Chinese Academy of Sciences), Beijing 100080, China) + Corresponding author: Phn: +86-10 F