《安全多方計算與可證安全密碼方案》是依託中國科學院大學，由李寶擔任項目負責人的重大研究計畫。
《安全多方計算與可證安全密碼方案》是依託中國科學院大學，由李寶擔任項目負責人的重大研究計畫。項目摘要本項目是套用基礎研究，屬於信息安全與網路安全中的關鍵理論及技術，涉及秘密共享技術及其套用研究與複雜性理論在信息安全中的應...
安全多方計算（英文：Secure Multi-Party Computation）的研究主要是針對無可信第三方的情況下，如何安全地計算一個約定函式的問題。安全多方計算是電子選舉、門限簽名以及電子拍賣等諸多套用得以實施的密碼學基礎。一個安全多方計算協定，如果...
研究目標是給出三種模型下安全多方計算具體有效的實現方案，提供合作博弈理論和密碼協定之間互為套用的範例，和總結常見網路拓撲結構與多方計算的安全性及效率之間的關係。本項目研究的三種安全多方計算的模型具有很強的實際背景和現實意義，其...
安全多方計算理論是密碼學中一個嶄新的熱門領域，它主要討論一組非互相信任的人群如何通過網路計算,求出給定的函式值，而不泄露每一方的輸入[自變數]。.安全多方計算是許多密碼學問的基礎。對多方計算的深入研究，有助於從更高層面認識、...
本書比較系統全面地介紹了密碼加密方案的可證明安全理論及證明技術。主要內容包括緒論、偽隨機函式和偽隨機置換、混合論證技術與陷門單向置換、密碼學的計算問題與困難性假設、多項式安全和語義安全、抗非適應性選擇密文攻擊安全性、抗適應性...
在雲環境中高效安全多方計算協定方面，我們首先提出了一個自主授權的多用戶可搜尋加密方案，該方案實現了多寫多讀架構下的可搜尋加密機制；其次，針對大數據環境中訪問模式保護問題，我們通過改進一個代理加密機制，將多個用戶的存取過程通過...
第5章從密鑰共享體制套用的角度講述安全多方計算理論，特別給出了幾個典型的安全多方計算協定安全性的詳細證明。本書可作為密碼學和信息安全、網路安全、電子商務、計算機科學和信息科學等專業的研究生和大學本科高年級學生的參考書，也可...
《量子多方安全計算及相關密碼協定》是依託中山大學，由何廣平擔任項目負責人的青年科學基金項目。中文摘要 量子多方安全計算（含量子不經意傳輸）曾被認為是不可能實現無條件安全性的。但我們最近證明了安全量子不經意傳輸的存在。本項目...
《基於密文的安全多方計算研究》是依託陝西師範大學，由楊波擔任項目負責人的面上項目。項目摘要 在傳統的安全多方計算協定中，參與計算的用戶其數據是以明文的形式存儲在私有存儲設備。在諸如雲計算等共享存儲平台的套用中，用戶為了自己數據...
《現代密碼學：基於安全多方計算協定的研究》是2016年電子工業出版社出版的圖書，作者是孫茂華。內容簡介 本書以現代密碼學中的安全多方計算為主題，以作者近幾年的研究成果為主體，結合國內外學者在該領域的研究成果，對安全多方計算的主要...
對分組密碼密鑰編排方案從差分、混淆的角度進行了安全性研究，利用密鑰編排方案和分組密碼輪函式之間的關係得出更好的攻擊方法。提出了實際密鑰信息（AKI），密碼泄露的概念，用於評價密碼方案的安全性。指出了AES和多個輕量級密碼構造中的問題...
在基於證書籤名研究方面，提出了高效的基於證書短簽名方案，構造了高效的不使用雙線性對的基於證書籤名方案，在隨機預言模型下證明提出的方案安全性。與已有的方案相比，簽名長度更短，計算代價更低，在計算能力和頻寬受限的網路環境中具有...
《密鑰共享體制和安全多方計算相關問題研究》是依託北京航空航天大學，由高瑩擔任項目負責人的青年科學基金項目。項目摘要 密鑰共享體制是密鑰管理中安全存儲及傳輸密鑰的一個主要工具,也是構造很多密碼學協定的重要工具.安全多方計算是以密鑰...
本項目通過解決如何建立二次域密碼系統的有關問題，力爭在這個問題上取得重要突破。.（3）研究國際上還沒有合適的可證安全模型的（包括新提出的）較為複雜的密碼系統/數字簽名方案的模型建立和安全性證明。這裡的安全性證明包括藉助於/不...
系統地研究了格基數字承諾方案，基於格難題構造了三方承諾協定、基於身份的承諾協定、抗敵手適應性合謀的門限承諾協定及樂觀公平交換承諾協定等，並對以上協定給出了安全性證明。 與基於傳統密碼體制的多方安全協定相比，本項目構造的協定計算...
3.1語義安全的RSA加密方案63 3.1.1RSA加密算法63 3.1.2RSA問題和RSA假設64 3.1.3選擇明文安全的RSA加密64 3.1.4選擇密文安全的RSA加密67 3.2Paillier公鑰密碼系統69 3.2.1合數冪剩餘類的判定70 3.2.2合數冪剩餘類的計算...
構造具有高安全等級的密碼水印方案，給出了新的安全性定義和新的構造方法，得到具有更高安全性的方案.藉助區塊鏈技術，構造具有撤銷功能的無中心匿名認證方案。第四，研究後量子安全多方計算技術。構造了一個基於格的高效零知識證明系統，...
設計具有魯棒性、可檢測性、完美前向安全性的可證安全的多方秘密握手協定；設計多個組織管理者共同管理一個組織的可證安全的多方秘密握手協定，通過理論分析和實驗驗證協定的計算效率和通信效率，並和已有的多方秘密握手協定進行比較。
1.3 安全協定的安全性質3 1.4 對安全協定的攻擊5 1.5 安全協定的三大理論分析方法8 1.5.1 安全多方計算8 1.5.2 形式化分析方法9 1.5.3 可證明安全性理論10 習題111 第2章 安全協定的密碼學基礎12 2.1 密碼學的基本...
《公鑰密碼學：設計原理與可證安全》適合高等學校計算機、信息安全、電子信息與通信、信息與計算科學等專業的研究生以及相關專業的研究人員使用。圖書目錄 第1章 引論 1.1 信息安全 1.2 密碼學 1.3 雜湊函式 1.3.1 設計方法 1.3...
13.4.2Shamir門限方案109 13.5安全多方計算113 13.5.1平均薪水問題114 13.5.2百萬富翁問題115 第3部分小結/118 擴展閱讀建議/119 第4部分基於身份的密碼學和可證明安全性 第14章基於身份的公鑰密碼學/12314.1概念、困難假設與...
《計算機密碼學：通用方案構造及安全性證明》是2008年電子工業出版社出版的圖書，作者是田園。內容簡介 《計算機密碼學:通用方案構造及安全性證明》闡述計算機密碼方案與密碼協定的安全性證明理論，包括基於計算複雜度概念的計算密碼學方法和...
2、對公鑰密碼方案中計算複雜的算法，如私鑰生成、刪除用戶、基於屬性簽名等提出了外包方案，所提方案均在安全模型中可證安全，同時實現數據的保密性和外包結果的可驗證性。3、對外包計算的通用方案，提出了高效的零知識證明方案，降低了...
《安全協定:理論與實踐》共分4篇16章，主要內容包括：密碼算法基礎知識，可證明安全性、形式化分析、零知識證明、安全多方計算等基礎理論與方法，秘密共享、數字簽名、身份識別、密鑰交換、健忘傳輸、公平交換等基本安全協定，以及Kerberos...
《多方量子計算中身份安全問題的研究》是依託中國科學技術大學，由楊威擔任項目負責人的青年科學基金項目。中文摘要 在密碼學與安全多方計算領域中，參與者身份安全問題是對數據安全問題的重要補充。傳統的身份安全問題解決方案存在不少安全隱患...
第7章多方密碼協定 7.1門限密碼體制 7.1.1秘密共享 7.1.2門限方案的變體 7.1.3秘密共享的套用 7.2零知識證明 7.2.1基本概念 7.2.2零知識證明的形式化定義 7.2.3零知識證明協定 7.3安全多方計算 7.3.1概述 7.3.2...
