出版時間:2004-5 出版社:電子工業(yè) 作者:[英]WenboMao著 頁數(shù):706 字?jǐn)?shù):1180000
Tag標(biāo)簽:無
內(nèi)容概要
第Ⅰ部分是密碼學(xué)與信息安全的入門性介紹。第Ⅱ部分介紹學(xué)習(xí)本書必備的數(shù)學(xué)背景知識,也可作為學(xué)習(xí)現(xiàn)代密碼學(xué)理論基礎(chǔ)的系統(tǒng)背景知識。第Ⅲ部分介紹提供保密和數(shù)據(jù)完整性保護(hù)最基本的密碼算法和技術(shù)。第Ⅳ部分介紹應(yīng)用密碼學(xué)和信息安全中一個重要的概念——認(rèn)證。第Ⅴ部分對公鑰密碼技術(shù)(加密、簽名和簽密)的強(實用)安全性概念進(jìn)行嚴(yán)格的形式化處理,并給出認(rèn)證協(xié)議的形式化分析方法。第Ⅵ部分包括兩個技術(shù)章節(jié)和一個簡短的評述。
本書適合大學(xué)本科生、在高科技公司從事信息安全系統(tǒng)設(shè)計和開發(fā)的安全工程師、企業(yè)信息安全系統(tǒng)管理人員或者生產(chǎn)安全產(chǎn)品的軟/硬件開發(fā)商以及剛開始從事密碼學(xué)或計算機安全方面研究的博士生等使用。
作者簡介
Wenbo Mao:計算機科學(xué)博士。在英國Manchester大學(xué)做博士后研究期間,與C.Boyd博士對密碼協(xié)議和協(xié)議形式的分析進(jìn)行了深入研究并做出貢獻(xiàn)。后加入HP公司做高級技術(shù)成員,在英國的Bristol研究實驗室的可信賴系統(tǒng)實驗室,參加了多項重要的電子商務(wù)系統(tǒng)和信息安全系統(tǒng)的設(shè)計
書籍目錄
A SHORT DESCRIPTION OF THE BOOKPREFACELIST OF FIGURESLIST OF ALGORITHMS,PROTOCOLS AND ATTACKSⅠINTRODUCTION 1 BEGINNING WITH A SIMPLE COMMUNICATION GAME 2 WRESTLING BETWEEN SAFEGUARD AND ATTACKⅡ MATHEMATICAL FOUNDATIONS STANDARD NOTATION 3 PROBABILITY AND INFORMATION THEORY 4 COMPUTATIONAL COMPLEXITY 5 ALGEBRAIC FOUNDATIONS 6 NUMBER THEORYⅢ BASIC CRYPTOGRAPHIC TECHNIQUES 7 ENCRYPTION—SYMMETRIC TECHNIQUES 8 ENCRYPTION--ASYMMETRIC TECHNOQUES 9 IN AN IDEAL WORLD:BIT SECURITY OF THE BASIC PUBLIC-KEY CRYPTOGRAPHIC FUNCTIONS 10 DATA INTEGRITY TECHNOQUESⅣ AUTHENTICATION 11 AUTHENTICATION PROTOCOLS—PRINCIPLES 12 AUTHENTICATION PROTOCOLS——THE REAL WORLD 13 AUTHENTICATION FRAMEWORK FOR PUBLIC-KEY CRYPTOGRAPHYⅤ FORMAL APPROACHES TO SECURITY ESTABLISHMENT 14 FORMAL AND STRONG SECURITY DEFINITIONS FOR PUBLIC-KEY CRYPTOSYSTEMS 15 PROVABLY SECURE AND EFFICIENT PUBLIC-KEY CRYPTOSYSTEMS 16 STRONG AND PROVABLE SECURITY FOR DIGITAL SIGNATURES 17 FORMAL METHODS FOR AUTHENTICATION PROTOCOLS ANALYSISⅥ CRYPTOGRAPHIC PROTOCOLS 18 ZERO-KNOWLEDGE PROTOCOLS 19 RETURNING TO "COIN FLIPPING OVER TELEPHONE" 20 AFTERREMARK
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載