《基於雲外包計算的理性密碼協定模型與方法研究》是依託河南師範大學,由張恩擔任項目負責人的聯合基金項目。
基本介紹
- 中文名:基於雲外包計算的理性密碼協定模型與方法研究
- 項目類別:聯合基金項目
- 項目負責人:張恩
- 依託單位:河南師範大學
- 負責人職稱:副教授
- 批准號:U1604156
- 研究期限:2017-01-01 至 2019-12-31
- 申請代碼:L05
- 支持經費:42(萬元)
項目摘要
理性密碼協定是密碼學重要研究方向之一,已取得一些學術成果,但對秘密共享和安全多方計算協定中參與者合謀問題、計算不公平問題和新型網路通信模式研究相對薄弱。本項目結合博弈論、資訊理論、聲譽系統和密碼學理論,對基於雲外包計算的理性密碼協定模型與方法進行研究:研討密碼協定的博弈策略、博弈收益和防合謀均衡的公理化方法,分析參與者合謀動機,設計可計算防合謀均衡,構建防合謀博弈模型和算法,防止參與者合謀攻擊;針對經典電路計算不公平問題,設計可重用混淆電路方法和聲譽調整機制,構建電路計算博弈框架和模型,從而保證計算的公平性和交付性;融合雲外包計算特性,設計多密鑰同態加密和非互動驗證方法,構建雲外包密碼協定社交博弈模型,彌補現有理性密碼協定不能在雲外包環境有效套用的缺陷;基於上述模型和方法,設計雲外包計算理性密碼協定原型系統,並對其安全性進行分析和證明。該研究可為豐富和完善理性密碼協定提供理論基礎和技術支撐。