《可證安全的多方安全協定的分析與設計》是依託西安電子科技大學，由馬建峰擔任項目負責人的面上項目。
基本介紹
- 中文名：可證安全的多方安全協定的分析與設計
- 項目類別：面上項目
- 項目負責人：馬建峰
- 依託單位：西安電子科技大學
- 批准號：60573036
- 申請代碼：F0206
- 負責人職稱：教授
- 研究期限：2006-01-01 至 2008-12-31
- 支持經費：26（萬元）
中文摘要
安全協定的分析與設計異常複雜，具有很大的挑戰性。本項目主要研究安全協定的形式化分析與設計理論及方法，重點討論可證安全多方協定的分析與設計。基於可證安全方法，其中包括CK模型、BCP模型和可組合安全等方法，我們將研究具有可證安全特性的多方安全協定的理論與方法。研究的目的在於，簡化安全協定的分析與設計過程，並且使設計的協定具有可證明的安全性；依據多用戶網路拓撲模型，提出多方安全協定的設計理論和方法，建立可證安全的、可擴展的群組密鑰管理模型，設計高效、安全的群組密鑰管理協定，為網路密鑰管理系統提供有效的設計理論和方法。通過研究，我們希望在多方安全協定的一般理論和方法上有一定的突破，為高效、可靠和可證安全的多方協定的設計與分析提供比較完整和系統的理論支持。
