《現代密碼學理論與實踐》

《現代密碼學理論與實踐》

《現代密碼學理論與實踐》有選擇性的介紹了一些實用的密碼方案、協定和系統,其中多數已成為了標準或事實上的標準,對其進行了詳細的研究,解釋了其工作原理,討論了其實際套用,並且常會以建立安全性形式證明的方式來考察它們的強(實用)安全性。另外,本書還完整地給出了學習現代密碼學所必備的理論基礎知識。

基本信息

簡介

《現代密碼學理論與實踐》現代密碼學理論與實踐

《現代密碼學理論與實踐》內容講述了很多密碼方案與協定,特別是基於公鑰密碼體制的,有一些基礎性或所謂的“教科書式密碼”版本,這些版本往往是很多密碼學教材所包含的內容。本書採用了一種不同的方式來介紹密碼學——更加注重適於套用的密碼學方面。它解釋了那些“教科書式密碼”版本僅適合於理想世界的原因,即數據是隨機的、壞人的表現不會超越預先的假定。本書通過展示“教科書式密碼”版本的方案、協定、和系統在各種現實套用場合存在著很多攻擊,來揭示“教科書式密碼”版本在現實生活中的不適用性。

本書可作為高學院校計算機專業研究生或高年級本科生的教材,也可供密碼安全架構師、工程人員、開發人員以及管理人員參考。

內容介紹

第Ⅰ部分是密碼學與信息安全的入門性介紹。第Ⅱ部分介紹學習本書必備的數學背景知識,也可作為學習現代密碼學理論基礎的系統背景知識。第Ⅲ部分介紹提供保密和數據完整性保護最基本的密碼算法技術。第Ⅳ部分介紹套用密碼學和信息安全中一個重要的概念——認證。第Ⅴ部分對公鑰密碼技術(加密、簽名和簽密)的強(實用)安全性概念進行嚴格的形式化處理,並給出認證協定的形式化分析方法。第Ⅵ部分包括兩個技術章節和一個簡短的評述。

作者介紹

WenboMao,1993年獲英國格拉斯哥Strathclyde大學計算機科學博士。1992年到1994年在英國Manchester大學做博士後研究期間,與C.Boyd博士對密碼協定和協定形式的分析進行了深入研究並做出了貢獻。後加入HP公司做高級技術成員,在英國的Bristol研究實驗室的可信賴系統實驗室,參加了多項重要的電子商務系統和信息安全系統的設計和開發工作。他是多個有關密碼和信息安全重要國際會議的程式委員會成員和有關雜誌的密碼及信息安全方面專輯的編輯或顧問組成員。自2000年4月至今任HP公司總工程師、技術領導。

編輯推薦與評論

隨著人類進入信息化社會,信息安全已成為人們在信息空間中生存與發展的重要保證條件,著名未來學家托夫勒曾說過,在資訊時代“誰掌握了信息,控制了網路,誰就將擁有整個世界”。因此,密碼學和信息安全技術在最近二十多年來,越來越受到人們的重視,特別是“911”事件以來,信息安全業已成為各國政府和有關部門、企業、機構的重要議事內容。現代密碼學形成於20世紀70年代,其重要標誌有兩個,一是美國制定並於1977年1月15日批准公布了公用數據加密標準(DES,DataEncryptionStandard);二是公鑰密碼體制的誕生。這兩個事件在密碼學史上具有里程碑意義。

目錄

第一部分引言
第1章一個簡單的通信遊戲
1.1一個通信遊戲
1.2描述密碼系統和協定的準則
1.3本章小結
習題
第2章防守與攻擊
2.1引言
2.2加密
2.3易受攻擊的環境(DolevYao威脅模型
2.4認證伺服器
2.5認證密鑰建立的安全特性
2.6利用加密的認證密鑰建立協定
2.7本章小結
習題
第二部分數學基礎
標準符號
第3章機率論和資訊理論
3.1引言
3.2機率論的基本概念
3.3性質
3.4基本運算
3.5隨機變數及其機率分布
3.6生日悖論
3.7資訊理論
3.8自然語言的冗餘度
3.9本章小結
習題
第4章計算複雜性
4.1引言
4.2圖靈機
4.3確定性多項式時間
4.4機率多項式時間
4.5非確定多項式時間
4.6非多項式界
4.7多項式時間不可區分性
4.8計算複雜性理論與現代密碼學
4.9本章小結
習題
第5章代數學基礎
5.1引言
5.2群
5.3環和域
5.4有限域的結構
5.5用橢圓曲線上的點構造群
5.6本章小結
習題
第6章數論
6.1引言
6.2同餘和剩餘類
6.3歐拉函式
6.4費馬定理、歐拉定理、拉格朗日定理
6.5二次剩餘
6.6模一個整數的平方根
6.7Blum整數
6.8本章小結
習題
第三部分基本的密碼學技術
第7章加密——對稱技術
第8章加密——非對稱技術
第9章理想情況下基本公鑰密碼函式的比特安全性
第10章數據完整性技術
第四部分認證
第11章認證協定——原理篇
第12章認證協定——實踐篇
第13章公鑰密碼的認證框架
第五部分建立安全性的形式化方法
第14章公鑰密碼體制的形式化強安全性定義
第15章可證明安全的有效公鑰密碼體制
第16章強可證明安全的數字簽名方案
第17章分析認證協定的形式化方法
第六部分密碼學協定
第18章零知識協定
第19章回到“電話擲幣”協定
第20章結束語

盤點有關算法書籍

算法可以理解為有基本運算及規定的運算順序所構成的完整的解題步驟。或者看成按照要求設計好的有限的確切的計算序列,並且這樣的步驟和序列可以解決一類問題。
《算法之道》
《妙趣橫生的算法》
《機器學習》
《光線跟蹤算法技術》
《遊戲核心算法編程內幕》
《植物的算法美》
《計算智慧型》
《組合數學教程》
《套用組合數學》
《大話數據結構》
《蟻群算法原理及其套用》
《數學建模》
《支持向量機導論》
《國際大學生程式設計競賽例題解》
《數據挖掘原理與算法》
《MATLAB函式速查手冊》
《大學算法教程》
《算法設計》
《多任務下的數據結構與算法》
《集體智慧編程》
《最最佳化理論與方法》
《深入淺出數據分析》
《群智慧型算法及其套用》
《高效程式的奧秘》
《近似算法》
《生物信息學算法導論》
《C數值算法》
《計算數論》
《ACM程式設計競賽基礎教程》
《算法引論》
《STL源碼剖析》
《新編實用算法分析與程式設計》
《並行程式設計》
《信息檢索》
《數據壓縮導論》
《多處理器編程的藝術》
《程式設計中常用的解題策略》
《圖論導引》
《算法設計與分析導論》
《分散式算法導論》
《面向千萬億次計算的算法與套用》
《分散式算法》
《數據結構與算法分析》
《具體數學》
《實時碰撞檢測算法技術》
《世界大學生程式設計競賽》
《算法設計與分析基礎》
《柔性字元串匹配》
《程式設計師實用算法》
《圖論簡明教程》
《現代最佳化計算方法》
《現代密碼學理論與實踐》
《MATLAB語言常用算法程式集》
《編程的本質》
《算法藝術與信息學競賽》

相關詞條

相關搜尋

熱門詞條

聯絡我們