基于复杂性密码学理论及应用若干问题研究

Complexity-based cryptography (CC) plays a central role in modern cryptography. Its fundamental tools and concepts are: zero-knowledge, proof-of-knowledge and non-malleability, which are, in turn, the core security and privacy requirements for cryptographic protocols concurrently run over Internet or Cloud. In theory research, this project aims to achieve systematic innovations and results both in the origin of CC (say, the Diffie-Hellman protocol), and in the fundamental tools/concepts of CC (say, zero-knowledge, proof-of-knowledge and non-malleability). Theory research will focus on systematism of innovations, and on developing new paradigms, approaches and techniques that overcome limitations of the existing ones. With the theory work, we will aim at new provable security framework based on complexity theory. Based upon, and being guided by, the theoretical results and frameworks developed with this project, innovative protocols both for cloud computation delegation and for authenticated key exchange over network will be developed in this project. Applied cryptography research will focus on acquiring systematic cryptographic innovations with independent knowledge rights. The developed new applied protocols should outperform the corresponding existing international standards, and should have the potential to be developed toward the next generation of the corresponding standards.

基于复杂性理论密码学在当代密码学处于核心和战略的位置。其中，零知识、知识证明和非延展性既是基于复杂性密码理论的核心工具和概念，同时亦是云计算、网络安全密码协议的核心安全和隐私要求。 在理论研究上，申请项目旨在基于复杂性理论密码学的源头(DH-协议),以及核心工具和概念（零知识、知识证明、非延展性）上,取得系统性创新和成果。理论研究注重成果的基础性、体系性和框架性；注重开创新概念和新的基础密码工具、方法和范例，努力研创基于复杂性理论的可证明安全性新理论框架。 理论联系实际。基于本项目所取得的密码理论成果并被其所洞察和指导，研发新型云计算计算代理和网络安全核心密钥交换协议，获得具有自主知识产权的系统性的密码应用技术革新。所研发的新型应用密码协议应在性能上优于目前的相关国际标准，乃至推动相关密码技术标准的更新换代，服务于国家知识经济的发展和信息安全核心技术的自主创新。

在基于计算复杂性密码学理论及应用领域取得较为系统的研究进展。在密码学和信息安全顶级会议和期刊Journal of Cryptology, ACMCCS, IEEE Transactions on Dependable and Secure Computing， ESORICS, PQCrypto等发表（含录用）论文16篇。申请2项国家发明专利，获得1项软件著作权。在数字签名和密钥协商领域获得两个标准，已大规模应用，产生了重大的效益。