《混合密碼體制的設計與形式化分析》是依託電子科技大學,由李髮根擔任醒目負責人的面上項目。
基本介紹
- 中文名：混合密碼體制的設計與形式化分析
- 依託單位：電子科技大學
- 項目類別：面上項目
- 項目負責人：李髮根
項目摘要,結題摘要,
項目摘要
混合密碼體制是實際套用中最自然地密碼體制，是密碼學研究的基本科學問題。本項目旨在研究混合密碼體制的設計和形式化分析方法，具體內容包括：研究如何利用格中的最短向量問題和最近向量問題以及有限域上隨機產生的多變數二次多項式方程組的求解問題來設計混合加密體制和混合簽密體制，這樣的密碼體制可以抵抗量子計算機的攻擊；探索如何利用密鑰協商協定和數據封裝機制來設計混合加密體制和混合簽密體制；討論密鑰協商協定的混合密碼體制的設計原理與方法。本項目注重源頭創新，有望在抗量子攻擊的混合密碼體制、混合密碼體制的新型混合方法和密鑰協商協定的混合技術三方面取得一定突破。本項目的創新研究將進一步發現混合密碼體制的工作原理，為實際的密碼套用提供理論基礎和技術保障。因此，本項目具有重要的科學意義、學術價值和套用價值。
結題摘要
混合密碼體制是實際套用中最自然地密碼體制，是密碼學研究的基本科學問題。本項目主要研究混合密碼體制的設計與形式化分析方法，包括無證書混合簽密體制的設計與證明、基於格中困難問題的混合簽密體制的設計與證明、 PKI和IBC混合的密碼體制、可否認認證協定的設計與證明、線上/離線簽名的設計與證明、標準模型下的密碼體制設計與證明等。針對這些研究問題，我們深入分析了國內外現有的理論與技術，提出了自己的新方法或者改進方法，在高質量的國際、國內期刊和會議上發表了相應的論文。本項目的研究形成了一套混合密碼體制的設計理論，發現了混合密碼體制構造原理與方法，為以後的混合密碼體制研究提供了理論支持，為信息安全系統提供了技術保證。
