安全協(xié)議分析與設(shè)計

定　價：￥23.00

作　者：	衛(wèi)劍釩，陳鐘編著
出版社：	人民郵電出版社
叢編項：	普通高等教育"十一五"國家級規(guī)劃教材
標(biāo)　簽：	信息安全

購買這本書可以去

ISBN：	9787115220028	出版時間：	2010-11-01	包裝：	平裝
開本：	16開	頁數(shù)：	156	字數(shù)：

內(nèi)容簡介

　　《安全協(xié)議分析與設(shè)計》系統(tǒng)地介紹了安全協(xié)議（主要是認證協(xié)議和密鑰建立協(xié)議）的基本概念、攻擊方法、分析方法和設(shè)計方法。全書分為7章，從安全協(xié)議的基本概念和協(xié)議記法出發(fā)，先介紹安全協(xié)議分析采用的假設(shè)和對攻擊者能力的界定，接著對一些經(jīng)典的安全協(xié)議及其攻擊展開分析，然后對邏輯類分析方法、模型檢測分析方法和定理證明類分析方法分別進行介紹，并講述了安全協(xié)議的設(shè)計原則和設(shè)計方法，最后對一些實際使用中的具體安全協(xié)議進行講解和分析?！栋踩珔f(xié)議分析與設(shè)計》注重知識的系統(tǒng)性和覆蓋面的廣泛性，部分內(nèi)容有一定的理論深度。《安全協(xié)議分析與設(shè)計》可作為信息安全、計算機、通信專業(yè)的本科生和研究生教材，也可作為相關(guān)專業(yè)的研究人員和工程技術(shù)人員的參考書。

作者簡介

暫缺《安全協(xié)議分析與設(shè)計》作者簡介

圖書目錄

第1部分軟件工程基礎(chǔ)
第1章引言
1.1 安全協(xié)議基礎(chǔ)知識
1.2 安全協(xié)議形式化分析的現(xiàn)狀
1.3 基本概念和協(xié)議記法
1.4 協(xié)議分析的假設(shè)
1.4.1 完善加密假設(shè)
1.4.2 單一協(xié)議假設(shè)
1.4.3 誠實主體假設(shè)
1.4.4 隨機數(shù)和時間戳的假設(shè)
1.5 攻擊者能力分析
1.5.1 攻擊者能力分解
1.5.2 攻擊者劃分
1.5.3 攻擊類型
1.6 密碼算法基礎(chǔ)知識
1.6.1 密碼算法
1.6.2 對稱密碼算法
1.6.3 hash函數(shù)
1.6.4 公開密鑰算法
1.6.5 密碼算法提供的服務(wù)
習(xí)題
第2章安全協(xié)議及攻擊
2.1 身份認證協(xié)議
2.1.1 無可信第三方
2.1.2 有可信第三方
2.2 密鑰建立協(xié)議
2.3 安全協(xié)議的目標(biāo)
2.3.1 認證目標(biāo)
2.3.2 密鑰建立目標(biāo)
2.3.3 其他目標(biāo)
習(xí)題
第3章邏輯類分析方法
3.1 概述
3.1.1 邏輯類分析方法
3.1.2 邏輯類分析方法的特點
3.2 ban邏輯
3.2.1 ban邏輯系統(tǒng)
3.2.2 用ban邏輯分析安全協(xié)議
3.2.3 ban邏輯的局限性
3.3 ban類邏輯
3.3.1 gny邏輯
3.3.2 at邏輯
3.3.3 mb邏輯
3.4 svo邏輯
3.4.1 svo邏輯的認證目標(biāo)
3.4.2 svo邏輯語法
3.4.3 svo邏輯語義
3.4.4 用svo邏輯分析安全協(xié)議
習(xí)題
第4章模型檢測分析方法
4.1 概述
4.1.1 通用的形式化驗證方法
4.1.2 專用的形式化檢驗系統(tǒng)
4.2 csp方法
4.2.1 基本術(shù)語和示例
4.2.2 協(xié)議目標(biāo)的描述
4.3 分析實例
4.3.1 用csp驗證nspk協(xié)議
4.3.2 用csp驗證tmn協(xié)議
習(xí)題
第5章定理證明類分析方法
5.1 概述
5.1.1 paulson歸納法
5.1.2 schneider秩函數(shù)
5.1.3 串空間證明方法
5.1.4 復(fù)雜性證明理論
5.2 串空間證明方法
5.2.1 串空間理論
5.2.2 串空間證明過程
5.3 定理證明分析的局限性
習(xí)題
第6章安全協(xié)議的設(shè)計
6.1 安全協(xié)議設(shè)計的基本原則
6.1.1 基本原則
6.1.2 命名原則
6.1.3 加密原則
6.1.4 時間性原則
6.1.5 識別原則
6.1.6 信任原則
6.2 安全協(xié)議的設(shè)計方法研究
6.2.1 安全協(xié)議設(shè)計方法概述
6.2.2 fail-stop協(xié)議
6.2.3 ck模型
6.3 設(shè)計抵御拒絕服務(wù)攻擊的安全協(xié)議
6.3.1 安全協(xié)議中的dos攻擊
6.3.2 無狀態(tài)連接方法
6.3.3 cookie方法
6.3.4 failing-together方法
6.3.5 clientpuzzle方法
習(xí)題
第7章實用安全協(xié)議
7.1 kerberos網(wǎng)絡(luò)認證服務(wù)
7.1.1 概述
7.1.2 報文交換
7.1.3 協(xié)議特點
7.2 x.5 09標(biāo)準(zhǔn)
7.2.1 概述
7.2.2 證書
7.2.3 認證協(xié)議
7.2.4 協(xié)議特點
7.3 傳輸層安全協(xié)議
7.3.1 概述
7.3.2 會話和連接
7.3.3 握手協(xié)議
7.3.4 tls協(xié)議的簡化描述
7.3.5 協(xié)議特點
7.4 internet密鑰交換協(xié)議
7.4.1 概述
7.4.2 ipsec與isakmp
7.4.3 使用數(shù)字簽名認證的ike第一階段
7.4.4 使用公鑰加密認證的ike第一階段
7.4.5 使用修訂的公鑰加密認證的ike第一階段
7.4.6 使用預(yù)共享密鑰認證的ike第一階段
7.4.7 ike第二階段——快速模式
7.4.8 新組模式
7.4.9 協(xié)議特點
7.5 ppp認證與radius
7.5.1 radius
7.5.2 pap和chap
7.5.3 擴展認證協(xié)議
7.6 無線局域網(wǎng)的認證與密鑰管理
7.6.1 wep的加密及認證
7.6.2 802.1 1i與802.1
7.6.3 wpa與tkip
7.6.4 wpa的密鑰管理
7.7 gsm認證
7.7.1 gsm系統(tǒng)概述
7.7.2 gsm用戶認證及密鑰建立
7.7.3 協(xié)議特點
7.8 3g安全協(xié)議
7.8.1 wcdma與cdma2000簡介
7.8.2 wcdma接入安全
7.8.3 cdma2000接入安全
附錄A 協(xié)議及攻擊索引
參考文獻