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

第1章  引論                  
 1. 1  密碼體制                  
 1. 1. 1  基本原理                  
 1. 1. 2  對稱密鑰密碼體制                  
 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  公鑰證明書                  
 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ì)及實現(xiàn)                  
 2. 2  安全協(xié)議的缺陷                  
 2. 2. 1  協(xié)議設(shè)計準(zhǔn)則                  
 2. 2. 2  安全協(xié)議缺陷分類                  
 2. 2. 3  消息重放攻擊及對策                  
 2. 3  安全協(xié)議及其受到的攻擊實例                  
 2. 3. 1  無可信第三方參與的對稱密鑰協(xié)議                  
 2. 3. 2  有可信第三方參與的對稱密鑰協(xié)議                  
 2. 3. 3  無可信第三方參與的公鑰協(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)問題                  
 小結(jié)                  
 第3章  基于推理結(jié)構(gòu)性方法                  
 3. 1  BAN邏輯                  
 3. 1. 1  BAN邏輯的基本框架                  
 3. 1. 2  應(yīng)用實例                  
 3. 1. 3  BAN邏輯的缺陷                  
 3. 1. 4  BAN邏輯的設(shè)計準(zhǔn)則                  
 3. 2  GNY邏輯                  
 3. 2. 1  GNY邏輯的簡單計算模型                  
 3. 2. 2  GNY邏輯的語法和語義                  
 3. 2. 3  GNY邏輯的推理規(guī)則                  
 3. 2. 4  GNY邏輯對協(xié)議的分析                  
 3. 3  AT邏輯                  
 3. 3. 1  AT邏輯的基本符號                  
 3. 3. 2  AT邏輯的推理規(guī)則和公理                  
 3. 3. 3  AT邏輯的計算模型                  
 3. 3. 4  AT邏輯的語義                  
 3. 4  SVO邏輯                  
 3. 4. 1  SVO邏輯的基本結(jié)構(gòu)                  
 3. 4. 2  SVO邏輯的推理規(guī)則及公理                  
 3. 4. 3 SVO邏輯語義                  
 3. 4. 4  SVO邏輯的應(yīng)用實例                  
 3. 5  Kailar邏輯                  
 3. 5. 1  Kailar邏輯的基本架構(gòu)                  
 3. 5. 2  Kailar邏輯的應(yīng)用實例                  
 3. 5. 3 Kailar邏輯的缺陷                  
 3. 6  CS邏輯                  
 3. 6. 1  邏輯框架                  
 3. 6. 2  CS邏輯的擴(kuò)展                  
 3. 6. 3  實例分析                  
 3. 7  KG邏輯                  
 3. 7. 1  基本標(biāo)記與假設(shè)                  
 3. 7. 2  推理規(guī)則                  
 3. 7. 3  實例分析                  
 3. 8  Nonmonotomic邏輯                  
 3. 8. 1  基本符號和邏輯框架                  
 3. 8. 2  推理規(guī)則                  
 3. 8. 3  協(xié)議分析流程                  
 小結(jié)                  
 第4章  基于攻擊結(jié)構(gòu)性方法                  
 4. 1  一般目的的驗證語言                  
 4. 1. 1  一階謂詞邏輯擴(kuò)展                  
 4. 1. 2  Mur∮驗證系統(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  主體知識及操作                  
 5. 1. 2  協(xié)議形式化分析實例                  
 5. 1. 3  并行多重會話                  
 5. 2  Paulson歸納法                  
 5. 2. 1  歸納法概述                  
 5. 2. 2  歸納法的自動化理論                  
 5. 2. 3  歸納法對一個遞歸協(xié)議的分析                  
 5. 3  Schneider秩函數(shù)                  
 5. 3. 1  秩函數(shù)的定義                  
 5. 3. 2  主要定理                  
 5. 3. 3  實例分析                  
 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  對Otway-Rees協(xié)議的分析                  
 5. 5  Attacks限定法                  
 5. 5. 1  認(rèn)證協(xié)議模型                  
 5. 5. 2  限定                  
 5. 5. 3  約簡定理                  
 5. 6  Rewriting逼近法                  
 5. 6. 1  預(yù)備知識                  
 5. 6. 2  逼近技術(shù)                  
 5. 6. 3  對NS公鑰協(xié)議和攻擊者的編碼                  
 5. 6. 4  逼近和驗證                  
 5. 7  Maude分析法                  
 5. 7. 1  Maude的面向?qū)ο蟮恼f明                  
 5. 7. 2  NS公鑰協(xié)議的說明與執(zhí)行                  
 5. 7. 3  攻擊者和一個攻擊                  
 5. 7. 4  寬度優(yōu)先搜索策略                  
 5. 8  invariant技術(shù)                  
 5. 8. 1  基本概念                  
 5. 8. 2  描述攻擊者不可知術(shù)語集合屬性的不變式                  
 5. 8. 3  描述攻擊者可知消息集合屬性的不變式                  
 小結(jié)                  
 第6章  安全協(xié)議分析的形式化語言                  
 6. 1  安全協(xié)議分析語言：CPAL                  
 6. 1. 1  CPAL行為的含義                  
 6. 1. 2  CPAL的語法                  
 6. 1. 3  CPAL的形式化語義                  
 6. 1. 4  CPAL協(xié)議評估系統(tǒng)                  
 6. 1. 5  使用CPAL評估系統(tǒng)對協(xié)議進(jìn)行驗證                  
 6. 2  安全協(xié)議簡單接口說明語言——ISLSLAAPA                  
 6. 2. 1  ISL定義                  
 6. 2. 2  AAPA的輸出                  
 6. 2. 3  與基于攻擊結(jié)構(gòu)性工具的比較                  
 6. 3  安全協(xié)議通用說明語言——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的語法                  
 6. 4. 2  Casper的實施                  
 6. 4. 3  實例分析：大嘴青蛙(WMF)協(xié)議                  
 6. 4. 4  與CAPSL的比較                  
 6. 5  安全協(xié)議的積分——spi積分                  
 6. 5. 1  使用限制性信道的協(xié)議                  
 6. 5. 2  使用密碼體制的協(xié)議                  
 6. 5. 3  spi積分的形式化語義                  
 小結(jié)                  
 第7章  安全協(xié)議設(shè)計的形式化方法                  
 7. 1  Heintze&Tygar：模型及其構(gòu)成                  
 7. 1. 1  模型和安全性                  
 7. 1. 2  協(xié)議和非記時模型                  
 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簡單邏輯                  
 7. 3. 1  模型                  
 7. 3. 2  簡單邏輯                  
 7. 3. 3  分析和修正Woo&Lam認(rèn)證協(xié)議                  
 7. 4  Rudolph抽象模型                  
 7. 4. 1  原理                  
 7. 4. 2  抽象協(xié)議的APA模型                  
 7. 4. 3  協(xié)議級聯(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ù)語                  
 8. 2  票據(jù)標(biāo)志使用與請求                  
 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的實現(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  會話狀態(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證書概述                  
 11. 1. 1  證書路徑和信任                  
 11. 1. 2  撤消                  
 11. 1. 3  操作協(xié)議／管理協(xié)議                  
 11. 2  證書及其擴(kuò)展                  
 11. 2. 1  基本證書域                  
 11. 2. 2  標(biāo)準(zhǔn)證書擴(kuò)展                  
 11. 3  CRL及其擴(kuò)展                  
 11. 3. 1  CRL域                  
 11. 3. 2  CRL擴(kuò)展                  
 11. 3. 3  CRL輸入項擴(kuò)展                  
 11. 4  證明路徑的檢驗                  
 11. 4. 1  基本路徑檢驗                  
 11. 4. 2  擴(kuò)展路徑檢驗                  
 11. 5  算法支持                  
 11. 5. 1  單向Hash函數(shù)                  
 11. 5. 2  簽名算法                  
 11. 5. 3  公鑰加密算法                  
 第12章  SET協(xié)議                  
 12. 1  背景及商業(yè)要求                  
 12. 2  系統(tǒng)設(shè)計                  
 12. 2. 1  SET系統(tǒng)結(jié)構(gòu)                  
 12. 2. 2  安全服務(wù)及證書                  
 12. 2. 3  技術(shù)要求                  
 12. 3  證書管理結(jié)構(gòu)                  
 12. 4  證書請求協(xié)議                  
 12. 4. 1  主協(xié)議                  
 12. 4. 2  持卡人證書發(fā)起請求／響應(yīng)處理                  
 12. 4. 3  持卡人注冊表單請求／響應(yīng)處理                  
 12. 4. 4  商家／支付網(wǎng)關(guān)證書發(fā)起處理                  
 12. 4. 5  證書請求和生成處理                  
 12. 4. 6  證書質(zhì)詢及狀態(tài)處理                  
 12. 5  證書撤消                  
 12. 5. 1  持卡人證書的撤消                  
 12. 5. 2  商家證書撤消                  
 12. 5. 3  支付網(wǎng)關(guān)證書撤消                  
 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)