混合密码体制的设计与形式化分析

混合密码体制是实际应用中最自然地密码体制，是密码学研究的基本科学问题。本项目旨在研究混合密码体制的设计和形式化分析方法，具体内容包括：研究如何利用格中的最短向量问题和最近向量问题以及有限域上随机产生的多变量二次多项式方程组的求解问题来设计混合加密体制和混合签密体制，这样的密码体制可以抵抗量子计算机的攻击；探索如何利用密钥协商协议和数据封装机制来设计混合加密体制和混合签密体制；讨论密钥协商协议的混合密码体制的设计原理与方法。本项目注重源头创新，有望在抗量子攻击的混合密码体制、混合密码体制的新型混合方法和密钥协商协议的混合技术三方面取得一定突破。本项目的创新研究将进一步发现混合密码体制的工作原理，为实际的密码应用提供理论基础和技术保障。因此，本项目具有重要的科学意义、学术价值和应用价值。

混合密码体制是实际应用中最自然地密码体制，是密码学研究的基本科学问题。本项目主要研究混合密码体制的设计与形式化分析方法，包括无证书混合签密体制的设计与证明、基于格中困难问题的混合签密体制的设计与证明、 PKI和IBC混合的密码体制、可否认认证协议的设计与证明、在线/离线签名的设计与证明、标准模型下的密码体制设计与证明等。针对这些研究问题，我们深入分析了国内外现有的理论与技术，提出了自己的新方法或者改进方法，在高质量的国际、国内期刊和会议上发表了相应的论文。本项目的研究形成了一套混合密码体制的设计理论，发现了混合密码体制构造原理与方法，为以后的混合密码体制研究提供了理论支持，为信息安全系统提供了技术保证。