《可證明安全的公鑰加密方案設計與分析》是依託西安電子科技大學，由馬文平擔任項目負責人的面上項目。
基本介紹
- 中文名：可證明安全的公鑰加密方案設計與分析
- 項目類別：面上項目
- 項目負責人：馬文平
- 依託單位：西安電子科技大學
- 批准號：60773002
- 申請代碼：F0206
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：28（萬元）
中文摘要
加密技術是構造安全密碼協定保證信息安全的關鍵技術，設計安全的公鑰加密算法一直是現代密碼學中的重點研究內容。本項目基於計算複雜性理論從在標準模型和隨機問答模型下可證明安全的角度出發研究加密方案的設計與分析理論，包括原子本原、公鑰加密方案、廣播加密和叛徒追蹤方案和基於身份的加密方案等的設計方法和安全性證明； 同時，我們將從糾錯碼中的計算困難問題如線性分組碼解碼問題、尋找最小重量碼字和多項式恢復等問題出發研究構造可證明安全的公鑰加密方案；本項目將探討新的計算困難問題假定，並基於新的計算複雜性假定設計好的原子本原用於構造可證明安全的高效的加密方案；我們將深入研究加密方案的語義安全性和非延展性等，探討加密方案安全性證明的新方法。本項目的研究結果將用於設計安全的密碼協定，在著作權保護、公平交換和多媒體通信中有重要的套用，能夠保證電子商務、電子政務和軍事通信的安全。
