《密碼協定通用可組合安全的理論與方法研究》是依託西安電子科技大學，由李興華擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：密碼協定通用可組合安全的理論與方法研究
- 項目類別：青年科學基金項目
- 項目負責人：李興華
- 依託單位：西安電子科技大學
- 批准號：60702059
- 申請代碼：F0102
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：20（萬元）
中文摘要
本項目主要研究安全協定的的形式化分析和設計方法，重點關注安全協定的通用可組合安全的形式化理論及方法。基於Random Oracle模型、CK模型、BCP模型和通用可組合安全框架及相關方法，進一步研究安全協定通用可組合安全的模組化思想、形式化模型及其安全理論，提出通用可組合安全協定的設計及分析方法。研究的目的在於，利用模組化的思想，簡化安全協定的分析與設計過程，為通用可組合安全的密碼協定提供更實際的安全假設；保證協定在實際網路環境中並發組合情況下的安全，使其在現實套用環境中更加可靠；根據不同的安全任務和套用環境提出不同級別的安全定義，實現安全級別的可度量性和可控性；針對受限計算資源和能量有效的套用需求，提出更加高效的通用可組合安全的密碼協定。我們希望在安全協定的通用可組合安全的理論和方法上有一定的突破，為高效、可靠和可證安全的協定設計和分析提供比較完整和系統的理論。
