本文在可证明安全密码学框架内,选择无证书加密/签名、防二重认证签名、紧致安全签名等几类基础密码原型为研究对象,力图在密码原型安全性概念的形式化定义、底层构造模块的抽象与建模、密码原型的一般性构造等基础层面开展研究,主要工作如下.1.证明了第三信任等级无证书加密/签名的一般性构造框架(Al-Riyami-Paterson转换)在标准模型下的安全性.作为模块化的构造方案,Al-Riyami-Paterson转换具有直观、简洁、高效等优点,但其可证明安全性却是公开问题.2.对无证书密码学提出了超第三信任等级的概念,并构造了可证明安全的超第三信任等级无证书签名方案.超第三信任等级意味着,当权威中心KGC敢于滥用其权力冒充一般用户时,不仅仅是留下不可否认的证据(这是第三信任等级),而且这些恶意行为会自动引发对KGC的严厉惩罚(如假冒行为会导致KGC主私钥暴露).3.研究了防二重认证签名方案的构造.现有文献给出了一种通用构造,但该构造只有一种基于整数分解的具体实现.提出了带密钥泄露的可逆变色龙哈希函数的概念,然后改进了防二重认证签名的安全模型,最后提出一种通用转换框架,可将这种带密钥泄露的可逆变色龙哈希函数转换为可证明安全的防二重认证签名.4.研究了紧致安全签名方案的构造.提出了一种新型密码原型,称作强变色龙哈希函数,然后提出一种通用转换框架,可将强变色龙哈希函数转换为具有紧致安全性的数字签名方案.这种一般性的构造框架具有多种具体实现方案,既有全域哈希类紧致安全签名,又有Fiat-Shamir转换类紧致安全签名,同时表明这些全域哈希类紧致安全签名可理解为Fiat-Shamir转换类紧致安全签名的优化结果.