可证安全基础研究

可证安全的思想和方法在密码学中占有重要的地位。本项目对可证安全的理论基础和方法进行研究。对标准模型下可证安全协议/方案的构造方法研究以Cramer-Shoup的普适杂凑函数族（universal hasn family）的构造及相应证明系统为主要研究对象。并对基于身份的密码方案和利用双线性映射的方法及相关密码学假设进行深入研究。对随机谕言模型的实例化问题进行深入研究，对随机谕言模型、伪随机函数（族）及hash函数的关系进行研究。寻找随机谕言模型可实例化的符合现实要求的条件。进一步探讨随机谕言模型与标准模型的联系。