123,123,123

內容簡介

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

作者簡介

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

圖書目錄

第1章  引論
1. 1  密碼體制
1. 1. 1  基本原理
1. 1. 2  對稱密鑰密碼體制
1. 1. 3  公鑰密碼體制
1. 2  數(shù)字簽名
1. 2. 1  數(shù)字簽名(Digital Signature)技術
1. 2. 2  數(shù)字簽名技術與加密技術的結合
1. 2. 3  幾種新型的數(shù)字簽名方案
1. 3  Hash函數(shù)
1. 4  密鑰管理與分配
1. 4. 1  密鑰的管理
1. 4. 2  密鑰的分配
1. 4. 3  公鑰證明書
1. 5  PKI公鑰基礎設施
第2章  安全協(xié)議
2. 1  安全協(xié)議概述
2. 1. 1  安全協(xié)議的概念
2. 1. 2  安全協(xié)議系統(tǒng)模型
2. 1. 3  安全協(xié)議的安全性質及實現(xiàn)
2. 2  安全協(xié)議的缺陷
2. 2. 1  協(xié)議設計準則
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  其他相關協(xié)議
2. 4  安全協(xié)議的形式化分析
2. 4. 1  安全協(xié)議形式化分析概述
2. 4. 2  安全協(xié)議形式化分析的歷史與現(xiàn)狀
2. 4. 3  有關問題
小結
第3章  基于推理結構性方法
3. 1  BAN邏輯
3. 1. 1  BAN邏輯的基本框架
3. 1. 2  應用實例
3. 1. 3  BAN邏輯的缺陷
3. 1. 4  BAN邏輯的設計準則
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邏輯的基本結構
3. 4. 2  SVO邏輯的推理規(guī)則及公理
3. 4. 3 SVO邏輯語義
3. 4. 4  SVO邏輯的應用實例
3. 5  Kailar邏輯
3. 5. 1  Kailar邏輯的基本架構
3. 5. 2  Kailar邏輯的應用實例
3. 5. 3 Kailar邏輯的缺陷
3. 6  CS邏輯
3. 6. 1  邏輯框架
3. 6. 2  CS邏輯的擴展
3. 6. 3  實例分析
3. 7  KG邏輯
3. 7. 1  基本標記與假設
3. 7. 2  推理規(guī)則
3. 7. 3  實例分析
3. 8  Nonmonotomic邏輯
3. 8. 1  基本符號和邏輯框架
3. 8. 2  推理規(guī)則
3. 8. 3  協(xié)議分析流程
小結
第4章  基于攻擊結構性方法
4. 1  一般目的的驗證語言
4. 1. 1  一階謂詞邏輯擴展
4. 1. 2  Mur∮驗證系統(tǒng)
4. 1. 3  CSP與安全性質
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)
小結
第5章  基于證明結構性方法
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  認證協(xié)議模型
5. 5. 2  限定
5. 5. 3  約簡定理
5. 6  Rewriting逼近法
5. 6. 1  預備知識
5. 6. 2  逼近技術
5. 6. 3  對NS公鑰協(xié)議和攻擊者的編碼
5. 6. 4  逼近和驗證
5. 7  Maude分析法
5. 7. 1  Maude的面向對象的說明
5. 7. 2  NS公鑰協(xié)議的說明與執(zhí)行
5. 7. 3  攻擊者和一個攻擊
5. 7. 4  寬度優(yōu)先搜索策略
5. 8  invariant技術
5. 8. 1  基本概念
5. 8. 2  描述攻擊者不可知術語集合屬性的不變式
5. 8. 3  描述攻擊者可知消息集合屬性的不變式
小結
第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é)議進行驗證
6. 2  安全協(xié)議簡單接口說明語言——ISLSLAAPA
6. 2. 1  ISL定義
6. 2. 2  AAPA的輸出
6. 2. 3  與基于攻擊結構性工具的比較
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積分的形式化語義
小結
第7章  安全協(xié)議設計的形式化方法
7. 1  Heintze&Tygar：模型及其構成
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  方法的應用
7. 2. 3  fail-safe協(xié)議
7. 2. 4  使用因果一致性概念的形式化
7. 3 Buttyan&Staaman簡單邏輯
7. 3. 1  模型
7. 3. 2  簡單邏輯
7. 3. 3  分析和修正Woo&Lam認證協(xié)議
7. 4  Rudolph抽象模型
7. 4. 1  原理
7. 4. 2  抽象協(xié)議的APA模型
7. 4. 3  協(xié)議級聯(lián)
小結
第8章  Kerberos
8. 1  Kerberos協(xié)議概況
8. 1. 1  cross—realm操作
8. 1. 2  通信主體的選擇
8. 1. 3  授權
8. 1. 4  環(huán)境假設
8. 1. 5  術語
8. 2  票據(jù)標志使用與請求
8. 3  消息交換
8. 3. 1  認證服務交換
8. 3. 2  客戶／服務器認證交換
8. 3. 3  TGS交換
8. 3. 4  KRB—SAFE交換
8. 4  ULTRIX操作系統(tǒng)上Kerberos的實現(xiàn)
第9章  IPSet協(xié)議
9. 1  IPSec體系結構
9. 2  安全聯(lián)盟
9. 3  IPSec的安全協(xié)議
9. 3. 1  IPSec的模式
9. 3. 2  封裝安全載荷(ESP)
9. 3. 3  認證頭(AH)
9. 4  IPSec的應用
第10章  SSLV3. 0
10. 1  SSLV3. 0概況
10. 1. 1  SSLV3. 0的特點
10. 1. 2  SSLV3. 0的結構
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  預備狀態(tài)和當前操作狀態(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  證書及其擴展
11. 2. 1  基本證書域
11. 2. 2  標準證書擴展
11. 3  CRL及其擴展
11. 3. 1  CRL域
11. 3. 2  CRL擴展
11. 3. 3  CRL輸入項擴展
11. 4  證明路徑的檢驗
11. 4. 1  基本路徑檢驗
11. 4. 2  擴展路徑檢驗
11. 5  算法支持
11. 5. 1  單向Hash函數(shù)
11. 5. 2  簽名算法
11. 5. 3  公鑰加密算法
第12章  SET協(xié)議
12. 1  背景及商業(yè)要求
12. 2  系統(tǒng)設計
12. 2. 1  SET系統(tǒng)結構
12. 2. 2  安全服務及證書
12. 2. 3  技術要求
12. 3  證書管理結構
12. 4  證書請求協(xié)議
12. 4. 1  主協(xié)議
12. 4. 2  持卡人證書發(fā)起請求／響應處理
12. 4. 3  持卡人注冊表單請求／響應處理
12. 4. 4  商家／支付網(wǎng)關證書發(fā)起處理
12. 4. 5  證書請求和生成處理
12. 4. 6  證書質詢及狀態(tài)處理
12. 5  證書撤消
12. 5. 1  持卡人證書的撤消
12. 5. 2  商家證書撤消
12. 5. 3  支付網(wǎng)關證書撤消
12. 5. 4  CA崩潰恢復
12. 6  SET私有擴展
12. 6. 1  HashedRootKey私有擴展
12. 6. 2  CertificateType私有擴展
12. 6. 3  MerchantData私有擴展
12. 6. 4  CardCertRequired私有擴展
12. 6. 5  Tunneling私有擴展
12. 6. 6  SETExtensions私有擴展
參考文獻

作　者：	范紅，馮登國編著
出版社：	科學出版社
叢編項：	信息安全國家重點實驗室信息安全叢書
標　簽：	暫缺

ISBN：	9787030122773	出版時間：	2003-10-01	包裝：	平裝
開本：	24cm	頁數(shù)：	421	字數(shù)：

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

購買這本書可以去

內容簡介

作者簡介

圖書目錄

本目錄推薦

隱私保護計算

大數(shù)據(jù)背景下網(wǎng)絡安全問題研究

網(wǎng)絡空間安全管理

人工智能安全：原理剖析與實踐

云服務安全風險識別與管理

網(wǎng)絡用安全與密碼術：SCN 2006/…

信息及通信安全

內網(wǎng)滲透實戰(zhàn)攻略

分布系統(tǒng)的穩(wěn)定性、安全與保密 …

虛擬化環(huán)境下網(wǎng)絡管理技術及算法…