您的當前位置:首頁科研成果代表性成果
零知識證明研究和應用
文章來源: 發布時間:2014-06-17 【字號:

   零知識證明在安全協議的設計中具有極為重要的基礎性地位。零知識證明的核心思想是,證明者能夠在不向驗證者提供任何新知識的情況下,使驗證者相信某個斷言或定理的真實性。零知識證明思想是各類認證協議的基礎,在安全協議設計中有著廣泛的應用。 

   實驗室重點圍繞零知識證明基礎理論和應用的前沿性、前瞻性問題展開研究,受到國家973項目、國家863項目和國家自然科學基金項目的資助,取得了一系列國際上有影響的理論成果和應用成果,豐富了安全協議的理論與方法。在零知識證明理論研究方面取得了突破性進展,解決了若干公開問題。在零知識證明應用研究方面,發展了移動網絡漫游、跨域和匿名等場景下認證密鑰交換協議的可證明安全性理論,提出了新的設計理論和分析方法。

   主要成果包括:提出了實例依賴的可驗證隨機函數、實例依賴的證據不可區分論證系統等系列具有原創性的密碼學工具,并通過引入了新的非黑盒模擬策略,徹底解決了雙重可重置猜想這個具有近10年歷史的國際公開問題;解決了在標準困難問題假設下,NP語言常數輪可重置零知識論證系統的存在性問題;首次在不需要可信第三方的模型中實現了高效的并發非延展零知識證明系統;提出了一種新的交互證明模型,解決了標準假設下NP語言3輪零知識證明系統的存在性問題;提出了基于智能卡的移動漫游場景下匿名認證密鑰交換協議新的設計方法,并首次給出了可證明安全的一般性構造框架;證明了針對跨域口令認證密鑰交換協議的一個普適性結果,從而終結了在對稱密鑰機制下這類協議的安全性構造;提出了公平認證密鑰交換的思想,建立了公平認證密鑰交換協議的安全模型,設計了以并發簽名作為基礎構件的公平認證密鑰交換協議;首次建立了無證書簽名協議的安全模型,全面地刻畫了無證書簽名協議的各種安全屬性,提出了無證書簽名協議的一般性構造方法,并對一批無證書簽名協議提出了分析新方法。

    5年來在安全協議方面共發表相關論文195篇,其中SCI收錄45篇、EI收錄123篇,專著1部;獲得專利9項,軟件著作權5項。部分結果發表在FOCS、EurocryptAsiacryptPKC等國際頂級會議上。 

附件:
广东11选五走势图