安全協(xié)議理論與方法

定　價(jià)：￥42.00

作　者：	范紅，馮登國(guó)編著
出版社：	科學(xué)出版社
叢編項(xiàng)：	信息安全國(guó)家重點(diǎn)實(shí)驗(yàn)室信息安全叢書(shū)
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787030122773	出版時(shí)間：	2003-10-01	包裝：	平裝
開(kāi)本：	24cm	頁(yè)數(shù)：	421	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)是《信息安全國(guó)家重點(diǎn)實(shí)驗(yàn)室信息安全叢書(shū)》之一。書(shū)中系統(tǒng)地介紹了當(dāng)前計(jì)算機(jī)網(wǎng)絡(luò)安全協(xié)議的理論和方法，主要內(nèi)容包括安全協(xié)議的基本概念、缺陷以及可能受到的攻擊類型，基于推理結(jié)構(gòu)性方法，基于攻擊結(jié)構(gòu)性方法，基于證明結(jié)構(gòu)性方法，安全協(xié)議分析的形式化接口，安全協(xié)議設(shè)計(jì)的形式化方法，Kerberos協(xié)議，IPSec協(xié)議，SSL協(xié)議，X·509以及SET協(xié)議。本書(shū)可作為高等院校計(jì)算機(jī)、通信、信息安全等專業(yè)的教學(xué)參考書(shū)，也可供從事相關(guān)專業(yè)的教學(xué)、科研和工程技術(shù)人員參考。

作者簡(jiǎn)介

暫缺《安全協(xié)議理論與方法》作者簡(jiǎn)介

圖書(shū)目錄

第1章  引論
1. 1  密碼體制
1. 1. 1  基本原理
1. 1. 2  對(duì)稱密鑰密碼體制
1. 1. 3  公鑰密碼體制
1. 2  數(shù)字簽名
1. 2. 1  數(shù)字簽名(Digital Signature)技術(shù)
1. 2. 2  數(shù)字簽名技術(shù)與加密技術(shù)的結(jié)合
1. 2. 3  幾種新型的數(shù)字簽名方案
1. 3  Hash函數(shù)
1. 4  密鑰管理與分配
1. 4. 1  密鑰的管理
1. 4. 2  密鑰的分配
1. 4. 3  公鑰證明書(shū)
1. 5  PKI公鑰基礎(chǔ)設(shè)施
第2章  安全協(xié)議
2. 1  安全協(xié)議概述
2. 1. 1  安全協(xié)議的概念
2. 1. 2  安全協(xié)議系統(tǒng)模型
2. 1. 3  安全協(xié)議的安全性質(zhì)及實(shí)現(xiàn)
2. 2  安全協(xié)議的缺陷
2. 2. 1  協(xié)議設(shè)計(jì)準(zhǔn)則
2. 2. 2  安全協(xié)議缺陷分類
2. 2. 3  消息重放攻擊及對(duì)策
2. 3  安全協(xié)議及其受到的攻擊實(shí)例
2. 3. 1  無(wú)可信第三方參與的對(duì)稱密鑰協(xié)議
2. 3. 2  有可信第三方參與的對(duì)稱密鑰協(xié)議
2. 3. 3  無(wú)可信第三方參與的公鑰協(xié)議
2. 3. 4  有可信第三方參與的公鑰協(xié)議
2. 3. 5  其他相關(guān)協(xié)議
2. 4  安全協(xié)議的形式化分析
2. 4. 1  安全協(xié)議形式化分析概述
2. 4. 2  安全協(xié)議形式化分析的歷史與現(xiàn)狀
2. 4. 3  有關(guān)問(wèn)題
小結(jié)
第3章  基于推理結(jié)構(gòu)性方法
3. 1  BAN邏輯
3. 1. 1  BAN邏輯的基本框架
3. 1. 2  應(yīng)用實(shí)例
3. 1. 3  BAN邏輯的缺陷
3. 1. 4  BAN邏輯的設(shè)計(jì)準(zhǔn)則
3. 2  GNY邏輯
3. 2. 1  GNY邏輯的簡(jiǎn)單計(jì)算模型
3. 2. 2  GNY邏輯的語(yǔ)法和語(yǔ)義
3. 2. 3  GNY邏輯的推理規(guī)則
3. 2. 4  GNY邏輯對(duì)協(xié)議的分析
3. 3  AT邏輯
3. 3. 1  AT邏輯的基本符號(hào)
3. 3. 2  AT邏輯的推理規(guī)則和公理
3. 3. 3  AT邏輯的計(jì)算模型
3. 3. 4  AT邏輯的語(yǔ)義
3. 4  SVO邏輯
3. 4. 1  SVO邏輯的基本結(jié)構(gòu)
3. 4. 2  SVO邏輯的推理規(guī)則及公理
3. 4. 3 SVO邏輯語(yǔ)義
3. 4. 4  SVO邏輯的應(yīng)用實(shí)例
3. 5  Kailar邏輯
3. 5. 1  Kailar邏輯的基本架構(gòu)
3. 5. 2  Kailar邏輯的應(yīng)用實(shí)例
3. 5. 3 Kailar邏輯的缺陷
3. 6  CS邏輯
3. 6. 1  邏輯框架
3. 6. 2  CS邏輯的擴(kuò)展
3. 6. 3  實(shí)例分析
3. 7  KG邏輯
3. 7. 1  基本標(biāo)記與假設(shè)
3. 7. 2  推理規(guī)則
3. 7. 3  實(shí)例分析
3. 8  Nonmonotomic邏輯
3. 8. 1  基本符號(hào)和邏輯框架
3. 8. 2  推理規(guī)則
3. 8. 3  協(xié)議分析流程
小結(jié)
第4章  基于攻擊結(jié)構(gòu)性方法
4. 1  一般目的的驗(yàn)證語(yǔ)言
4. 1. 1  一階謂詞邏輯擴(kuò)展
4. 1. 2  Mur∮驗(yàn)證系統(tǒng)
4. 1. 3  CSP與安全性質(zhì)
4. 1. 4  MOdel Checking
4. 2  單一代數(shù)理論模型
4. 2. 1  Dolev-Yao模型
4. 2. 2  Merritt模型
4. 2. 3  Meadows模型
4. 2. 4  Woo-Lam模型
4. 3  特別目的的專家系統(tǒng)
4. 3. 1  Interrogator
4. 3. 2  NRL協(xié)議分析器
4. 3. 3  基于規(guī)則系統(tǒng)
小結(jié)
第5章  基于證明結(jié)構(gòu)性方法
5. 1  human—readable證明法
5. 1. 1  主體知識(shí)及操作
5. 1. 2  協(xié)議形式化分析實(shí)例
5. 1. 3  并行多重會(huì)話
5. 2  Paulson歸納法
5. 2. 1  歸納法概述
5. 2. 2  歸納法的自動(dòng)化理論
5. 2. 3  歸納法對(duì)一個(gè)遞歸協(xié)議的分析
5. 3  Schneider秩函數(shù)
5. 3. 1  秩函數(shù)的定義
5. 3. 2  主要定理
5. 3. 3  實(shí)例分析
5. 3. 4  新版秩函數(shù)
5. 4  strand space
5. 4. 1  理論框架
5. 4. 2  攻擊者
5. 4. 3  協(xié)議的正確性
5. 4. 4  NSL協(xié)議分析
5. 4. 5  ideal
5. 4. 6  對(duì)Otway-Rees協(xié)議的分析
5. 5  Attacks限定法
5. 5. 1  認(rèn)證協(xié)議模型
5. 5. 2  限定
5. 5. 3  約簡(jiǎn)定理
5. 6  Rewriting逼近法
5. 6. 1  預(yù)備知識(shí)
5. 6. 2  逼近技術(shù)
5. 6. 3  對(duì)NS公鑰協(xié)議和攻擊者的編碼
5. 6. 4  逼近和驗(yàn)證
5. 7  Maude分析法
5. 7. 1  Maude的面向?qū)ο蟮恼f(shuō)明
5. 7. 2  NS公鑰協(xié)議的說(shuō)明與執(zhí)行
5. 7. 3  攻擊者和一個(gè)攻擊
5. 7. 4  寬度優(yōu)先搜索策略
5. 8  invariant技術(shù)
5. 8. 1  基本概念
5. 8. 2  描述攻擊者不可知術(shù)語(yǔ)集合屬性的不變式
5. 8. 3  描述攻擊者可知消息集合屬性的不變式
小結(jié)
第6章  安全協(xié)議分析的形式化語(yǔ)言
6. 1  安全協(xié)議分析語(yǔ)言：CPAL
6. 1. 1  CPAL行為的含義
6. 1. 2  CPAL的語(yǔ)法
6. 1. 3  CPAL的形式化語(yǔ)義
6. 1. 4  CPAL協(xié)議評(píng)估系統(tǒng)
6. 1. 5  使用CPAL評(píng)估系統(tǒng)對(duì)協(xié)議進(jìn)行驗(yàn)證
6. 2  安全協(xié)議簡(jiǎn)單接口說(shuō)明語(yǔ)言——ISLSLAAPA
6. 2. 1  ISL定義
6. 2. 2  AAPA的輸出
6. 2. 3  與基于攻擊結(jié)構(gòu)性工具的比較
6. 3  安全協(xié)議通用說(shuō)明語(yǔ)言——CAPSL
6. 3. 1  CAPSL集成環(huán)境
6. 3. 2  CAPSL
6. 3. 3  分析工具接口格式
6. 3. 4  翻譯器算法
6. 3. 5  安全協(xié)議的分析
6. 4  安全協(xié)議分析編譯器Casper
6. 4. 1  Casper的語(yǔ)法
6. 4. 2  Casper的實(shí)施
6. 4. 3  實(shí)例分析：大嘴青蛙(WMF)協(xié)議
6. 4. 4  與CAPSL的比較
6. 5  安全協(xié)議的積分——spi積分
6. 5. 1  使用限制性信道的協(xié)議
6. 5. 2  使用密碼體制的協(xié)議
6. 5. 3  spi積分的形式化語(yǔ)義
小結(jié)
第7章  安全協(xié)議設(shè)計(jì)的形式化方法
7. 1  Heintze&Tygar：模型及其構(gòu)成
7. 1. 1  模型和安全性
7. 1. 2  協(xié)議和非記時(shí)模型
7. 1. 3  協(xié)議的組合
7. 2 GongSLSynersion：fail-stop協(xié)議
7. 2. 1  fail-stop協(xié)議及其分析
7. 2. 2  方法的應(yīng)用
7. 2. 3  fail-safe協(xié)議
7. 2. 4  使用因果一致性概念的形式化
7. 3 Buttyan&Staaman簡(jiǎn)單邏輯
7. 3. 1  模型
7. 3. 2  簡(jiǎn)單邏輯
7. 3. 3  分析和修正Woo&Lam認(rèn)證協(xié)議
7. 4  Rudolph抽象模型
7. 4. 1  原理
7. 4. 2  抽象協(xié)議的APA模型
7. 4. 3  協(xié)議級(jí)聯(lián)
小結(jié)
第8章  Kerberos
8. 1  Kerberos協(xié)議概況
8. 1. 1  cross—realm操作
8. 1. 2  通信主體的選擇
8. 1. 3  授權(quán)
8. 1. 4  環(huán)境假設(shè)
8. 1. 5  術(shù)語(yǔ)
8. 2  票據(jù)標(biāo)志使用與請(qǐng)求
8. 3  消息交換
8. 3. 1  認(rèn)證服務(wù)交換
8. 3. 2  客戶／服務(wù)器認(rèn)證交換
8. 3. 3  TGS交換
8. 3. 4  KRB—SAFE交換
8. 4  ULTRIX操作系統(tǒng)上Kerberos的實(shí)現(xiàn)
第9章  IPSet協(xié)議
9. 1  IPSec體系結(jié)構(gòu)
9. 2  安全聯(lián)盟
9. 3  IPSec的安全協(xié)議
9. 3. 1  IPSec的模式
9. 3. 2  封裝安全載荷(ESP)
9. 3. 3  認(rèn)證頭(AH)
9. 4  IPSec的應(yīng)用
第10章  SSLV3. 0
10. 1  SSLV3. 0概況
10. 1. 1  SSLV3. 0的特點(diǎn)
10. 1. 2  SSLV3. 0的結(jié)構(gòu)
10. 1. 3  SSLV3. 0的加密屬性
10. 1. 4  SSLV3. 0的通信主體
10. 2  SSLV3. 0中的狀態(tài)
10. 2. 1  會(huì)話狀態(tài)和連接狀態(tài)
10. 2. 2  預(yù)備狀態(tài)和當(dāng)前操作狀態(tài)
10. 3  記錄層協(xié)議
10. 4  ChangeCipherSpec協(xié)議
10. 5  Alerr協(xié)議
10. 5. 1  close—notify消息
10. 5. 2  error alerts消息
10. 6  握手協(xié)議層
第11章  X. 509
11. 1  X. 509 v3證書(shū)概述
11. 1. 1  證書(shū)路徑和信任
11. 1. 2  撤消
11. 1. 3  操作協(xié)議／管理協(xié)議
11. 2  證書(shū)及其擴(kuò)展
11. 2. 1  基本證書(shū)域
11. 2. 2  標(biāo)準(zhǔn)證書(shū)擴(kuò)展
11. 3  CRL及其擴(kuò)展
11. 3. 1  CRL域
11. 3. 2  CRL擴(kuò)展
11. 3. 3  CRL輸入項(xiàng)擴(kuò)展
11. 4  證明路徑的檢驗(yàn)
11. 4. 1  基本路徑檢驗(yàn)
11. 4. 2  擴(kuò)展路徑檢驗(yàn)
11. 5  算法支持
11. 5. 1  單向Hash函數(shù)
11. 5. 2  簽名算法
11. 5. 3  公鑰加密算法
第12章  SET協(xié)議
12. 1  背景及商業(yè)要求
12. 2  系統(tǒng)設(shè)計(jì)
12. 2. 1  SET系統(tǒng)結(jié)構(gòu)
12. 2. 2  安全服務(wù)及證書(shū)
12. 2. 3  技術(shù)要求
12. 3  證書(shū)管理結(jié)構(gòu)
12. 4  證書(shū)請(qǐng)求協(xié)議
12. 4. 1  主協(xié)議
12. 4. 2  持卡人證書(shū)發(fā)起請(qǐng)求／響應(yīng)處理
12. 4. 3  持卡人注冊(cè)表單請(qǐng)求／響應(yīng)處理
12. 4. 4  商家／支付網(wǎng)關(guān)證書(shū)發(fā)起處理
12. 4. 5  證書(shū)請(qǐng)求和生成處理
12. 4. 6  證書(shū)質(zhì)詢及狀態(tài)處理
12. 5  證書(shū)撤消
12. 5. 1  持卡人證書(shū)的撤消
12. 5. 2  商家證書(shū)撤消
12. 5. 3  支付網(wǎng)關(guān)證書(shū)撤消
12. 5. 4  CA崩潰恢復(fù)
12. 6  SET私有擴(kuò)展
12. 6. 1  HashedRootKey私有擴(kuò)展
12. 6. 2  CertificateType私有擴(kuò)展
12. 6. 3  MerchantData私有擴(kuò)展
12. 6. 4  CardCertRequired私有擴(kuò)展
12. 6. 5  Tunneling私有擴(kuò)展
12. 6. 6  SETExtensions私有擴(kuò)展
參考文獻(xiàn)