若干基础公钥密码方案的构造及安全性证明

发布时间：2018-03-27 16:48

本文选题：可证明安全性　切入点：随机预言模型　出处：《广州大学》2017年博士论文

【摘要】：本文在可证明安全密码学框架内,选择无证书加密/签名、防二重认证签名、紧致安全签名等几类基础密码原型为研究对象,力图在密码原型安全性概念的形式化定义、底层构造模块的抽象与建模、密码原型的一般性构造等基础层面开展研究,主要工作如下.1.证明了第三信任等级无证书加密/签名的一般性构造框架(Al-Riyami-Paterson转换)在标准模型下的安全性.作为模块化的构造方案,Al-Riyami-Paterson转换具有直观、简洁、高效等优点,但其可证明安全性却是公开问题.2.对无证书密码学提出了超第三信任等级的概念,并构造了可证明安全的超第三信任等级无证书签名方案.超第三信任等级意味着,当权威中心KGC敢于滥用其权力冒充一般用户时,不仅仅是留下不可否认的证据(这是第三信任等级),而且这些恶意行为会自动引发对KGC的严厉惩罚(如假冒行为会导致KGC主私钥暴露).3.研究了防二重认证签名方案的构造.现有文献给出了一种通用构造,但该构造只有一种基于整数分解的具体实现.提出了带密钥泄露的可逆变色龙哈希函数的概念,然后改进了防二重认证签名的安全模型,最后提出一种通用转换框架,可将这种带密钥泄露的可逆变色龙哈希函数转换为可证明安全的防二重认证签名.4.研究了紧致安全签名方案的构造.提出了一种新型密码原型,称作强变色龙哈希函数,然后提出一种通用转换框架,可将强变色龙哈希函数转换为具有紧致安全性的数字签名方案.这种一般性的构造框架具有多种具体实现方案,既有全域哈希类紧致安全签名,又有Fiat-Shamir转换类紧致安全签名,同时表明这些全域哈希类紧致安全签名可理解为Fiat-Shamir转换类紧致安全签名的优化结果.
[Abstract]:In this paper, in the framework of provable security cryptography, we choose several kinds of basic cryptographic prototypes, such as certificateless encryption / signature, anti-double authentication signature, compact secure signature, as research objects, and try to formalize the definition of cryptographic prototype security concept. The abstraction and modeling of the underlying structure module, the general construction of the cryptographic prototype, and so on, are studied. The main work is as follows: 1. It is proved that the security of Al-Riyami-Paterson conversion, a general construction frame of the third trust level without certificate encryption / signature, is safe under the standard model. As a modular construction scheme, Al-Riyami-Paterson conversion has the advantages of intuitionistic, succinct and efficient. However, the provable security is a public problem. 2. The concept of super third trust level is proposed for certificateless cryptography, and a provable security scheme of super third trust level without certificate signature is constructed. When the authority center KGC dares to abuse its power to impersonate ordinary users, Not only does it leave undeniable evidence (this is the third level of trust), but these malicious acts automatically trigger severe penalties for KGC (such as counterfeiting, which results in the disclosure of the KGC master private key). The structure of the case. The existing literature gives a general structure, The concept of reversible chameleon hash function with key leakage is put forward, then the security model of anti-double authentication signature is improved, and a general conversion framework is proposed. This reversible chameleon hash function with key leakage can be converted into a provable secure double authentication signature .4.The construction of compact secure signature scheme is studied. A new cryptographic prototype called strong chameleon hash function is proposed. Then, a general conversion framework is proposed, which can convert the strong chameleon hash function into a digital signature scheme with compact security. There are compact security signatures of Fiat-Shamir transform class, and it is shown that these global hash class compact security signatures can be understood as the optimization results of Fiat-Shamir transformation class compact security signatures.
【学位授予单位】：广州大学
【学位级别】：博士
【学位授予年份】：2017
【分类号】：TN918.1

【参考文献】