标准模型下可证明安全的入侵容忍公钥加密方案

标准模型下可证安全的认证密钥协商协议邓帆;邓少锋;李益发【期刊名称】《计算机工程与应用》【年(卷),期】2011(047)013【摘要】This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design is inspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.The correctness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session key non-hosting.At the same time,through the explicit anthentication,it improves the efficiency of the implementation of the pared with the protocol in the random oracle model, the protocol has the same computational and communication efficiencies.%提出了一个标准模型下的基于身份认证的密钥协商协议.协议的设计采用了双线性配对的思想,协议的安全性分析,则综合运用了串空间知识以及可证安全中Game证明的方法,给出了严格的证明.协议具有良好的前向安全性和会话密钥无托管性,通过利用显式的身份认证,提高了协议的执行效率.与随机预言模型中的协议相比,在计算和通信效率方面相当.【总页数】4页(P106-109)【作者】邓帆;邓少锋;李益发【作者单位】信息工程大学,信息工程学院,郑州,450002;信息工程大学,信息工程学院,郑州,450002;信息工程大学,信息工程学院,郑州,450002【正文语种】中文【中图分类】TP309【相关文献】1.标准模型下强安全的无证书认证密钥协商协议 [J], 张延红;陈明2.eCK模型下可证明安全的双方认证密钥协商协议 [J], 赵建杰;谷大武3.标准模型下可证安全的身份基认证密钥协商协议 [J], 王圣宝;曹珍富;董晓蕾4.标准模型下可证安全的属性基认证密钥交换协议 [J], 魏江宏;刘文芬;胡学先5.标准模型下可证安全的加密密钥协商协议 [J], 殷胤;李宝因版权原因，仅展示原文概要，查看原文内容请购买。

信息安全技术公钥密码应用技术体系框架公钥密码应用技术体系框架是指在信息安全领域中，利用公钥密码技术来实现安全通信和数据保护的一套技术体系。

该框架主要包括以下几个组成部分：1. 公钥密码算法：包括非对称加密算法（如RSA、ElGamal）、数字签名算法（如RSA、DSA）、密钥交换算法（如Diffie-Hellman）等。

这些算法提供了实现安全通信和数据保护的基础工具。

2. 数字证书技术：用于证明公钥的合法性和完整性的技术。

数字证书通常由信任的第三方机构颁发，包含了公钥的信息以及数字签名，可以用于验证通信中的对方身份和确保数据的完整性。

3. 密钥管理与分发技术：用于安全地生成、存储、分发和撤销密钥的技术。

包括密钥管理中心（Key Management Center，KMC）、密钥协商协议（如TLS握手协议）、密钥封装与解封装等技术。

4. 安全协议与应用：包括安全通信协议（如SSL/TLS、IPSec）、电子邮件加密协议（如PGP、S/MIME）、虚拟私有网络（VPN）等。

这些协议和应用建立在公钥密码技术的基础上，用于保护通信数据的安全性和隐私性。

5. 安全模块与设备：包括硬件加密芯片、安全网关、防火墙等专用设备，以及提供加密、签名、证书管理等功能的软件模块。

这些设备和模块提供了可信执行环境和硬件保护机制，用于实现安全技术的有效保护和应用。

6. 安全政策与管理：包括信息安全政策、安全管理流程、安全审计与监控等。

这些管理措施用于确保公钥密码技术的正确使用和安全运行，保障整个应用体系的安全性。

公钥密码应用技术体系框架的目标是提供一种综合的、可靠的信息安全解决方案，保护通信数据的机密性、完整性和可信性。

它在现代网络通信、电子商务、电子政务等领域中得到了广泛的应用。

标准模型下安全的基于身份的加密方案王天芹【期刊名称】《计算机应用研究》【年(卷),期】2012(29)2【摘要】首先提出一个有效的多级基于身份的加密方案.在此基础上,结合强一次签名方案,构造一个具有较强安全性的基于身份的加密方案,并在标准模型下证明了方案的安全性可归约为双线性群中标准困难问题的难解性.该方案在自适应选择密文攻击下具有语义安全性,这是目前关于基于身份的加密方案最强的安全模型.%This paper proposed an efficient hierarchical identity-based encryption scheme. Based on the scheme and a strong one-time signature scheme,it presented a secure identity-based encryption scheme, which was proved to be secure under the decisional bilinear Diffie-Hellman assumption without random oracles. It is secure against adaptive chosen-ciphertext attacks.【总页数】4页(P633-636)【作者】王天芹【作者单位】华北水利水电学院信息工程系,郑州450011【正文语种】中文【中图分类】TP309【相关文献】1.标准模型下高效的基于身份的加密方案 [J], 李云;张永平2.标准模型下可证明安全的支持大规模属性集与属性级用户撤销的CP-ABE方案[J], 王建华;王光波;徐开勇3.一种标准模型下无证书签名方案的安全性分析与改进 [J], 杨小东; 王美丁; 裴喜祯; 李雨潼; 陈春霖; 麻婷春4.标准模型下可公开验证的匿名IBE方案的安全性分析 [J], 杨启良;周彦伟;杨坤伟;王涛5.标准模型下证明安全的可追踪属性基净化签名方案 [J], 李继国;朱留富;刘成东;陆阳;韩金广;王化群;张亦辰因版权原因，仅展示原文概要，查看原文内容请购买。

标准模型下可证安全的身份基认证密钥协商协议
王圣宝;曹珍富;董晓蕾
【期刊名称】《计算机学报》
【年(卷),期】2007(030)010
【摘要】提出一个在标准模型下可证安全的双方身份基密钥协商协议.新协议的设计思想来源于Gentry的身份基加密方案.提出的新协议可工作于托管或者无托管两种模式.在标准模型下(即不利用随机预言假设),文中给出了该协议的安全性证明.新提出的协议与目前现有仅在随机预言模型中证明安全的协议相比,在计算和通信效率方面相当.
【总页数】11页(P1842-1852)
【作者】王圣宝;曹珍富;董晓蕾
【作者单位】上海交通大学计算机科学与工程系,上海,200240;中国人民解放军炮兵学院计算中心,合肥,230031;上海交通大学计算机科学与工程系,上海,200240;上海交通大学计算机科学与工程系,上海,200240
【正文语种】中文
【中图分类】TP309
【相关文献】
1.标准模型下基于身份的认证密钥协商协议 [J], 叶伟伟;欧庆于
2.标准模型下可证安全的认证密钥协商协议 [J], 邓帆;邓少锋;李益发
3.标准模型下可证安全的属性基认证密钥交换协议 [J], 魏江宏;刘文芬;胡学先
4.高效的标准模型下基于身份认证密钥协商协议 [J], 高志刚;冯登国
5.高效的标准模型下基于身份认证的密钥协商协议研究 [J], 刘会珍
因版权原因，仅展示原文概要，查看原文内容请购买。

第20卷第

9期

2020年9月

Vol. 20

No. 9

Sep. 2020

黑龙江工业学院学报

JOURNAL OF HEILONGJIANG UNIVERSITY OF TECHNOLOGY

文章编号：2096 - 3874(2020)09 - 0120 - 06

标准模型下抗持续泄漏的基于身份加密方案

谢鸣(淮北师范大学网络与信息管理中心，安徽淮北

235000)

摘要:通常对基于身份加密方案的安全性进行分析时，不会考虑敌手能获得方案的秘密 状态这种情况。但实际上，敌手能通过侧信道攻击获得一些有关密钥的信息。为了进一步描述

侧信道攻击中的持续泄漏攻击，首先，形式化定义了基于身份加密的安全模型，在该安全模型 中，允许敌手持续获取部分秘密信息；然后，基于一种密钥封装机制提出一个新型的可抵抗连续 泄漏的基于身份加密方案。

最后，

证明了该方案在标准模型下是安全的，

并能抵抗选择密文

攻击。关键词:基于身份加密;侧信道攻击;持续泄漏;标准模型中图分类号:TP309.7 文献标识码:

A

为解决传统公钥密码系统中的证书管理问 题,Shamir[1]于1984年提出了基于身份加密(Iden­

tity -

based

Encryption

，简称IBE)的思想，其中用户

的身份是其公钥,而用户的私钥则由私钥生成器

(Private Key Generator,

简称 PKG)产生。近年来,

已经提出了许多有效的IBE方案

。但在实际

生活中，大多数在理想模型中被证明是安全的加 密方案无法抵抗由侧信道攻击引起的密钥泄漏。

为形式化侧信道攻击,密码研究人员开始研究泄 漏模型，特别是持续泄漏模型⑷，在该模型中，敌

手能持续获取方案的秘密内部状态信息。抗密钥

泄漏的加密方案最近引起了很多关注。李继国⑺

等人针对持续泄漏模型提出了抗持续泄漏的基于 身份广播加密方案,并基于双重系统加密技术证 明方案是安全的。周彦伟等人囲给出了一种新的 能抵抗持续泄漏的IBE方案

rsa-oaep公钥密码算法
RSA-OAEP（Optimal Asymmetric Encryption Padding）是一种
公钥密码算法，用于对信息进行加密和解密。

它结合了RSA
加密算法和OAEP填充算法。

RSA是一种非对称加密算法，使用两个密钥：公钥和私钥。

公钥用于加密信息，私钥用于解密信息。

RSA算法的关键操
作是对数据进行加密和解密，以及生成密钥对。

OAEP是一种填充算法，用于在进行非对称加密时增加安全性。

它通过在待加密的数据上附加随机填充来增加数据的随机性，从而增加了加密的安全性。

RSA-OAEP算法的加密过程如下：
1. 首先，将待加密的消息转换为一个随机数。

2. 生成一个随机数，并使用该随机数和公钥对随机数进行加密。

3. 使用随机数加密后的结果和待加密的消息进行异或操作。

4. 使用私钥对异或后的结果进行加密，得到密文。

解密过程如下：
1. 使用私钥对密文进行解密，得到异或后的结果。

2. 使用私钥对异或后的结果进行解密，得到随机数和消息的加密结果。

3. 使用公钥对加密结果进行解密，得到随机数和消息。

RSA-OAEP算法提供了一个安全且高效的加密方案，可以保
护信息的机密性和完整性。

它广泛应用于加密通信、数字签名和数字证书等领域。

密码学可证明安全的几种方法
密码学的安全性通常是通过证明其抵抗特定攻击的难度来评估的。

以下是密码学中几种常见的可证明安全的方法：
1. 理论证明：这种方法通过使用数学证明来证明密码方案的安全性。

例如，Diffie-Hellman密钥交换协议的安全性可以通过
数学证明基于数论或离散对数的难解性来得到保证。

2. 归约证明：这种方法将密码学问题归约到一个已知的难题上，通过证明已知难题的安全性来间接证明密码方案的安全性。

例如，将密码方案的安全性归约到离散对数问题或大整数的分解问题。

3. 零知识证明：零知识证明是一种交互式证明协议，用于证明某个秘密信息的真实性，而不泄露该信息的任何详细内容。

通过使用零知识证明，可以证明密码方案的某些属性而不泄露密钥或其他敏感信息。

4. 难解性假设：这种方法基于某些普遍接受的数学假设，如离散对数问题的难解性或大整数的分解问题的难解性。

如果这些假设成立，那么相应的密码方案应该是安全的。

需要注意的是，虽然这些方法可以提供一定程度上的安全性保证，但它们并不意味着密码方案是绝对安全的。

密码学的安全性还依赖于实现和使用的细节，以及攻击者的能力和资源。

因此，在设计和使用密码方案时，仍然需要综合考虑多个因素来确保安全性。