《基於結構化加密的密文搜尋方法及安全性證明》是依託東北大學,由周福才擔任項目負責人的面上項目。
基本介紹
- 中文名:基於結構化加密的密文搜尋方法及安全性證明
- 項目類別:面上項目
- 項目負責人:周福才
- 依託單位:東北大學
《基於結構化加密的密文搜尋方法及安全性證明》是依託東北大學,由周福才擔任項目負責人的面上項目。
《基於結構化加密的密文搜尋方法及安全性證明》是依託東北大學,由周福才擔任項目負責人的面上項目。中文摘要高效靈活的密文搜尋是大數據環境中數據保護理論研究的重點內容之一。課題圍繞移動互聯、雲計算、大數據以及物聯網環境下對外包...
本項目以PEKS為核心研究對象,以提高PEKS的檢索效率為核心研究動機;將結構化的關鍵字可搜尋公鑰加密做為核心思想,研究並提出相關的形式化概念;進一步地,研究實現結構多樣化的方法以適應各種各樣的檢索要求、結構化可搜尋加密中密文及其...
本項目研究了安全高效的全同態加密體制、具有機密性和隱私性的密文搜尋協定、基於密文的可搜尋的公鑰加密體制、多備份的密文擁有證明、基於密文的代理安全多方計算協定等。 在套用協定方面,隨著網路通信技術的發展,傳統Tor匿名通信系統在得到...
本項目擬致力於認證加密算法的安全性分析以及可證明安全理論的研究,跟蹤凱撒候選算法,借鑑傳統對稱密碼算法分析方法,結合認證加密算法結構特點,按照由外向內、從一般到具體的分析思路挖掘結構可能泄露的信息,探索基於分組密碼和Sponge結構的...
3.2 一些典型對稱加密方案的保密性質 3.3 加密—認證方案:明文完整性與密文完整性 3.4 加密—認證方案的幾個一般性構造 3.5 時變對稱加密方案及其前向保密性質 第4章 公鑰加密方案(Ⅰ):保密性質和PA性質 第5章 公鑰加密方案(...
標誌性的成果是密文長度與私鑰長度達到常值(O(1));利用對偶加密體制,實現了在一些簡單困難假設前提下設計適應性安全(強安全模型)的加密方案;克服傳統轉換方法中使用一次性簽名與MAC導致的缺陷,直接設計了具有CCA安全的HIBE方案。
本課題預期形成一套多用戶可驗證的動態可搜尋對稱加密方案的可證明安全性理論和兼顧安全性及效率的設計方法,為雲存儲安全提供理論基礎和技術保障,對於推進雲存儲的快速發展具有重要的理論意義和實用價值。結題摘要 密文數據搜尋是信息安全和...
形式化定義了抗惡意CA攻擊的基於證書加密方案的安全模型,構造了一個抗惡意CA攻擊的基於證書加密方案並在標準模型中證明了其滿足選擇密文安全性;將密鑰封裝機制與基於證書加密相結合,提出了基於證書密鑰封裝機制的概念,並構造了一個標準...
在隨機諭言機模型下,證明方案抗自適應性選擇密文攻擊具有不可區分性,抗自適應選擇訊息攻擊具有存在不可偽造性。該簽密方案具有細粒度訪問控制性和抵抗量子算法攻擊功能。 (5)藉助代理重加密技術和無陷門簽名技術,構造了一個基於格的...
4.2.3 確定性可搜尋公鑰加密95 4.3 帶隱藏結構的可搜尋公鑰加密96 4.3.1 研究價值96 4.3.2 基本定義97 4.3.3 安全性定義98 4.4 實例化方案構造100 4.4.1 方案介紹100 4.4.2 安全性證明104 4.4.3 性能測試...
本項目研究抗量子密碼分析的基於身份加密(IBE),即基於格問題的IBE,並在已有研究成果之上明顯減少IBE的公開參數和密文長度,從而提出高效的和可證明安全的IBE方案。該研究內容主要包括:(1)基於結構化格的格問題的計算複雜度;(2)基於...
課題組通過把基於身份的公鑰算法和代理重加密體制相結合,從合理的安全模型上構造基於身份的代理重加密方案並證明算法的安全性。在構造CCA 安全的基於身份代理重加密方案的通用方法、如何更細緻地控制代理者的許可權,構建自適應選擇密文安全的...
提出一種新型混合加密範例,研究了混合加密的重放選擇密文安全性和可檢測選擇密文安全性,給出了相關的方案和安全性證明。另外,目前主要的公鑰密碼方案和協定大都基於有限群,運算往往都是有限域上的算術運算,本項目研究基於新的代數結構...