可证明安全的公钥加密方案设计与分析

加密技术是构造安全密码协议保证信息安全的关键技术，设计安全的公钥加密算法一直是现代密码学中的重点研究内容。本项目基于计算复杂性理论从在标准模型和随机问答模型下可证明安全的角度出发研究加密方案的设计与分析理论，包括原子本原、公钥加密方案、广播加密和叛徒追踪方案和基于身份的加密方案等的设计方法和安全性证明； 同时，我们将从纠错码中的计算困难问题如线性分组码译码问题、寻找最小重量码字和多项式恢复等问题出发研究构造可证明安全的公钥加密方案；本项目将探讨新的计算困难问题假定，并基于新的计算复杂性假定设计好的原子本原用于构造可证明安全的高效的加密方案；我们将深入研究加密方案的语义安全性和非延展性等，探讨加密方案安全性证明的新方法。本项目的研究结果将用于设计安全的密码协议，在版权保护、公平交换和多媒体通信中有重要的应用，能够保证电子商务、电子政务和军事通信的安全。