高信度密码协议的设计与分析

本项目研究利用可证安全理论设计分析高信度的密码协议:从复杂性理论框架下，把密码协议的安全性归约到求解困难问题或NP完全问题；研究高效的安全性归约证明以保证所设计密码协议的实际安全性。我们将对随机预言模型进行系统而深入的研究，探讨该模型下的安全性证明与实际安全性之间的关系，寻求具有实际安全性的模型特性；探讨如何用不同的伪随机函数类设计新的理想模型进行可证安全研究；分析在不同操作环境下设计可证安全密码协议并研究其在具体实现中的安全问题；研究高信度密码协议的可普遍组合问题。在此理论基础上，研究设计应用于电子商务和电子政务中的高信度的密码协议算法和标准。同时，本项目利用数论中的指数和估计为主要工具，结合复杂性经典理论和方法，研究密码困难问题的无条件复杂性及其安全特性。