本文選題：可證明安全性　切入點(diǎn)：隨機(jī)預(yù)言模型　出處：《廣州大學(xué)》2017年博士論文

【摘要】：本文在可證明安全密碼學(xué)框架內(nèi),選擇無證書加密/簽名、防二重認(rèn)證簽名、緊致安全簽名等幾類基礎(chǔ)密碼原型為研究對象,力圖在密碼原型安全性概念的形式化定義、底層構(gòu)造模塊的抽象與建模、密碼原型的一般性構(gòu)造等基礎(chǔ)層面開展研究,主要工作如下.1.證明了第三信任等級無證書加密/簽名的一般性構(gòu)造框架(Al-Riyami-Paterson轉(zhuǎn)換)在標(biāo)準(zhǔn)模型下的安全性.作為模塊化的構(gòu)造方案,Al-Riyami-Paterson轉(zhuǎn)換具有直觀、簡潔、高效等優(yōu)點(diǎn),但其可證明安全性卻是公開問題.2.對無證書密碼學(xué)提出了超第三信任等級的概念,并構(gòu)造了可證明安全的超第三信任等級無證書簽名方案.超第三信任等級意味著,當(dāng)權(quán)威中心KGC敢于濫用其權(quán)力冒充一般用戶時,不僅僅是留下不可否認(rèn)的證據(jù)(這是第三信任等級),而且這些惡意行為會自動引發(fā)對KGC的嚴(yán)厲懲罰(如假冒行為會導(dǎo)致KGC主私鑰暴露).3.研究了防二重認(rèn)證簽名方案的構(gòu)造.現(xiàn)有文獻(xiàn)給出了一種通用構(gòu)造,但該構(gòu)造只有一種基于整數(shù)分解的具體實(shí)現(xiàn).提出了帶密鑰泄露的可逆變色龍哈希函數(shù)的概念,然后改進(jìn)了防二重認(rèn)證簽名的安全模型,最后提出一種通用轉(zhuǎn)換框架,可將這種帶密鑰泄露的可逆變色龍哈希函數(shù)轉(zhuǎn)換為可證明安全的防二重認(rèn)證簽名.4.研究了緊致安全簽名方案的構(gòu)造.提出了一種新型密碼原型,稱作強(qiáng)變色龍哈希函數(shù),然后提出一種通用轉(zhuǎn)換框架,可將強(qiáng)變色龍哈希函數(shù)轉(zhuǎn)換為具有緊致安全性的數(shù)字簽名方案.這種一般性的構(gòu)造框架具有多種具體實(shí)現(xiàn)方案,既有全域哈希類緊致安全簽名,又有Fiat-Shamir轉(zhuǎn)換類緊致安全簽名,同時表明這些全域哈希類緊致安全簽名可理解為Fiat-Shamir轉(zhuǎn)換類緊致安全簽名的優(yōu)化結(jié)果.
[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.
【學(xué)位授予單位】：廣州大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2017
【分類號】：TN918.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 黃瓊;王石;;Generic Certificateless Encryption Secure Against Malicious-but-Passive KGC Attacks in the Standard Model[J];Journal of Computer Science & Technology;2010年04期

2 馮登國;可證明安全性理論與方法研究[J];軟件學(xué)報(bào);2005年10期

，

本文編號：1672370