公钥加密系统的可证明安全——新挑战新方法

• 作者: 刘胜利
• 来源期刊: 密码学报
• 学科: 工学
• 关键词: 公钥加密 可证明安全 CCA2安全
• 年，卷（期）: 2014,（6）
• 页码范围: 537-550
• 页数: 14页
• 分类号: TP309.7
• 字数: 11966字
• 语种: 中文
• DOI: 10.13868/j.cnki.jcr.000050

摘要

密码界对公钥加密所广泛接受的安全标准是IND-CCA2安全.但是近年来各种新的攻击手段层出不穷,IND-CCA2安全已不能应付这些攻击.本文将对近年来出现的“选择打开攻击”,“密钥泄漏攻击”、“密钥相关信息安全”、“密钥相关攻击”、及“随机数相关攻击”进行阐述,并介绍如何对这些攻击进行形式化,如何定义能够抵御这些攻击的更高的安全标准,包括:针对“选择打开攻击”的“基于仿真的选择打开CCA2安全”(SIM-SO-CCA2)及“基于不可区分的选择打开CCA2安全”(IND-SO-CCA2);针对“密钥泄漏攻击”的“容忍密钥泄漏CCA2安全”(LR-CCA2);依赖密钥的消息的CCA2安全(KDM-CCA2);针对“密钥相关攻击”的“密钥相关CCA2安全”(KR-CCA2);针对“随机数相关攻击”的“随机数相关CCA2安全”(RR-CCA2).此外,我们还简要介绍了目前达到新标准所使用的技术和方法,包括交叉认证码技术、Hash Proof System技术,One-Time Lossy Filter技术等,同时指出了目前公钥加密可证明安全所面临的挑战.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘胜利	上海交通大学计算机科学与工程系	17	67	5.0	7.0