《可證明安全理論及方法——密碼算法》是2017年11月科學出版社出版的圖書，作者是袁征。
《可證明安全理論及方法——密碼算法》是2017年11月科學出版社出版的圖書，作者是袁征。內容簡介本書比較系統全面地介紹了密碼加密方案的可證明安全理論及證明技術。主要內容包括緒論、偽隨機函式和偽隨機置換、混合論證技術與陷門...
高階差分分析就是其中一種由差分分析方法擴展而得到的密碼分析方法。近期國際上的研究表明，高階差分能有效地分析密碼算法的安全性，但同時也揭示了其在理論和方法上的不足，特別是利用函式的代數特徵研究密碼函式的高階差分特性還有許多...
在密碼分析的基礎上，設計安全的實用化新型格密碼體制、安全高效的輕量級分組加密算法以及安全有效的Hash函式算法。在申請課題完成過程中，深入研究與密碼體制安全性密切相關的密碼數學問題，解決密碼安全的關鍵理論與技術。結題摘要 國際密碼...
本項目擬致力於認證加密算法的安全性分析以及可證明安全理論的研究，跟蹤凱撒候選算法，借鑑傳統對稱密碼算法分析方法，結合認證加密算法結構特點，按照由外向內、從一般到具體的分析思路挖掘結構可能泄露的信息，探索基於分組密碼和Sponge結構的...
1.2 複雜性理論 1.2.1 計算複雜性與時間複雜性 1.2.2 複雜性分類 1.2.3 隨機算法 1.3 資訊理論 參考文獻 第2章 密碼學基礎 2.1 密碼體制 2.1.1 對稱加密體制 2.1.2 公鑰加密體制 2.1.3 兩者的比較 2...
加密技術是構造安全密碼協定保證信息安全的關鍵技術，設計安全的公鑰加密算法一直是現代密碼學中的重點研究內容。本項目基於計算複雜性理論從在標準模型和隨機問答模型下可證明安全的角度出發研究加密方案的設計與分析理論，包括原子本原、公鑰...
《安全協定:理論與實踐》共分4篇16章，主要內容包括：密碼算法基礎知識，可證明安全性、形式化分析、零知識證明、安全多方計算等基礎理論與方法，秘密共享、數字簽名、身份識別、密鑰交換、健忘傳輸、公平交換等基本安全協定，以及Kerberos...
本項目研究如何針對不同環境來設計公鑰密碼算法，研究如何實現不同環境所需要的安全性。項目執行期間累計發表論文25篇，錄用論文5篇。其中SCIE檢索10篇；EI檢索14篇。錄用論文5篇（將受SCIE檢索4篇、EI檢索5篇）。 本項目重要的研究...
本書取材新穎，結構合理，不僅包括可證明安全性的基礎理論和實用算法，同時也涵蓋了可證明安全性的密碼學的最新研究成果，力求使讀者通過本書的學習了解本學科最新的發展方向。本書適合作為高等院校信息安全、網路空間安全、計算機工程、密碼...
因此抗泄漏密碼學的研究還停留在理論階段，本項目旨在解決或從很大程度上緩解這些問題，為最終設計出能夠在智慧卡晶片（甚至RFID晶片）上實現的緊安全的抗泄漏密碼學算法打下基礎。結題摘要 設計可以抵抗旁路攻擊的抗泄露密碼算法是密碼學...
訊息認證碼的安全性分析與可證明安全理論一直是密碼學界的研究熱點。本項目圍繞訊息認證碼等單鑰密碼體制的安全性展開研究，並考慮將訊息認證碼的分析技術與算法設計結合起來，變攻擊手段為證明方法，完善可證明安全理論。在安全性證明方面，...
1.1 信息安全概述 1 1.2 密碼理論 2 1.3 公鑰簽密理論 3 1.4 可證明安全理論 6 1.4.1 隨機諭言機 6 1.4.2 安全性證明方法 7 1.4.3 歸約思想 8 1.4.4 可證明安全性 9 1.4.5 哈希函式 10 1....
《計算機密碼學：通用方案構造及安全性證明》是2008年電子工業出版社出版的圖書，作者是田園。內容簡介 《計算機密碼學:通用方案構造及安全性證明》闡述計算機密碼方案與密碼協定的安全性證明理論，包括基於計算複雜度概念的計算密碼學方法和...
分組密碼是現代密碼學中的一個重要研究分支，其誕生和發展有著廣泛的實用背景和重要的理論價值。目前這一領域還有許多理論和實際問題有待繼續研究和完善。這些問題包括：如何設計可證明安全的密碼算法；如何加強現有算法及其工作模式的安全性...
以有限域上的矩陣理論為工具分析分組密碼擴散層矩陣的性質與算法區分攻擊之間的潛在聯繫，提出分組密碼擴散層新的數值指標並分析其對密碼算法安全性的影響；根據混合運算的密碼學性質研究分組密碼算法對差分故障攻擊的可證明安全性。
