《基於身份加密的新型設計與形式化分析》是依託電子科技大學,由李洪偉擔任醒目負責人的青年科學基金項目。
基本介紹
- 中文名：基於身份加密的新型設計與形式化分析
- 依託單位：電子科技大學
- 項目類別：青年科學基金項目
- 項目負責人：李洪偉
項目摘要,結題摘要,
項目摘要
基於身份加密（Identity-Based Encryption, IBE）是一種新興的密碼技術，因其公鑰管理簡單、計算和通信成本低的特點而具有重要的科學意義和研究價值。而格環境下的IBE近年來成為了國內外學者研究的熱點，理想格環境下的IBE方案是一個具有挑戰性的研究課題，目前這方面的研究剛剛起步，現有的研究成果在安全性和效率上尚有不足，對於指導實際的安全套用還有很大的局限性。本項目擬在多項核心技術的基礎上，從基本的格基規約理論入手，建立基於理想格的適應性安全模型，將問題抽象到模型空間，之後提出一個適應性安全的IBE方案，並進一步拓展到適應性安全的層次化IBE方案，最後提出一個適應性安全的對偶層次化IBE方案，為設計安全高效的IBE系統提供理論支持。
結題摘要
基於身份的密碼是一種新興的密碼技術，因其公鑰管理簡單、計算和通信成本低的特點而具有重要的科學意義和研究價值。本項目首先基於格設計了一些基於身份的密碼方案，如基於整數格的加密方案和基於整數格的簽密方案。之後我們在具體的套用場景如智慧型電網、雲計算、航空網路等領域探索基於身份密碼的套用，我們先後設計了航空網路中的廣播認證、異構系統中的簽密、自組織網路中的可否認認證、雲計算環境下的可搜尋加密、智慧型電網中的區間查詢，智慧型電網中的訪問控制和智慧型電網中的輕量級認證等方案。綜上所述，本項目既有充分的理論意義，也有豐富的實踐價值。
