《可證安全的多方秘密握手協定研究》是依託北京理工大學，由徐暢擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：可證安全的多方秘密握手協定研究
- 依託單位：北京理工大學
- 項目負責人：徐暢
- 項目類別：青年科學基金項目
項目摘要,結題摘要,
項目摘要
匿名認證在電子商務、社交網路中具有廣泛的套用，可在提供認證功能的同時保持用戶身份的匿名性，從而不泄露用戶的身份信息。秘密握手協定是實現匿名認證的一種重要方法，可以為同一組織內用戶實現匿名認證。目前已有的多方秘密握手協定安全性有待提高且功能有限。為了解決這些問題，本項目的主要內容包括：設計實現關聯秘密組織間成員匿名認證的可證安全的多方秘密握手協定；設計具有魯棒性、可檢測性、完美前向安全性的可證安全的多方秘密握手協定；設計多個組織管理者共同管理一個組織的可證安全的多方秘密握手協定，通過理論分析和實驗驗證協定的計算效率和通信效率，並和已有的多方秘密握手協定進行比較。本項目有助於推動匿名認證協定的深入研究， 本項目的研究成果可以提供高安全、多功能的高效多方秘密握手協定，具有很好的套用價值。
結題摘要
匿名認證在提供認證功能的同時保持用戶身份的匿名性。秘密握手協定是實現匿名認證的一種重要方法，但已有的秘密握手協定安全性有待提高且功能有限。為了解決這些問題，本項目針對可證安全的秘密握手協定展開研究。本項目以可證明安全性理論為基本工具，借鑑匿名認證設計與分析的已有方法，研究了多方秘密握手協定的安全性質和安全模型；在安全性分析、安全模型的相應擴展等問題上進行深入的研究和探討；在此基礎上，設計了滿足特殊安全性質的多方秘密握手協定,以及一系列特定網路環境下的具有隱私保護性質的協定。 本項目的研究工作基本按照擬定的研究計畫展開，主要研究工作和研究成果包括如下幾方面：設計了可證明安全的、具有可檢測性與前向安全性的多方秘密握手協定，提出了具體的隱私模型和安全模型，形式化地證明了協定所具有的安全性質。設計了可證明安全的具有隱私保護性質的特定網路環境下的數據聚合協定、可證明安全的密鑰管理協定、具有隱私保護性質的生物特徵識別方案、具有隱私保護性質的疾病預測方案等。關於具有隱私保護性質的生物特徵識別、具有隱私保護性質的疾病預測等問題的研究是原來研究計畫中所沒有的，但這些問題正在成為當今國內外的研究熱點，因此我們將上述內容作為重要研究內容添加進來。相關研究成果在Computer Journal、Information Sciences、IEEE Network、Future Generation Computing Systems等重要期刊和國際會議上發表，共發表高質量學術論文十餘篇，完成培養碩士生二名，協助培養博士生二名。
