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

內(nèi)容概要

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

書籍目錄

第1章 引論  1.1 密碼體制  1.2 數(shù)字簽名  1.3 Hash函數(shù)  1.4 密鑰管理與分配  1.5 PKI公鑰基礎(chǔ)設(shè)施第2章 安全協(xié)議  2.1 安全協(xié)議概述  2.2 安全協(xié)議的缺陷  2.3 安全協(xié)議及其受到的攻擊實(shí)例  2.4 安全協(xié)議的形式化分析  小結(jié)第3章 基于推理結(jié)構(gòu)性方法  3.1 BAN邏輯  3.2 GNY邏輯  3.3 AT邏輯  3.4 SVO邏輯  3.5 Kailar邏輯  3.6 CS邏輯  3.7 KG邏輯  3.8 Nonmonotomic邏輯  小結(jié)第4章 基于攻擊結(jié)構(gòu)性方法  4.1 一般目的的驗(yàn)證語言  4.2 單一代數(shù)理論模型  4.3 特別目的的專家系統(tǒng)  小結(jié)第5章 基于證明結(jié)構(gòu)性方法  5.1 human-readable證明法  5.2 Paulson歸納法  5.3 Schneider秩函數(shù)  5.4 strand space  5.5 Attacks限定法  5.6 Rewriting逼近法  5.7 Maude分析法  5.8 invariant技術(shù)  小結(jié)第6章 安全協(xié)議分析的形式化語言  6.1 安全協(xié)議分析預(yù)言：CPAL  6.2 安全協(xié)議簡單接口說明語言——ISL&AAPA  6.3 安全協(xié)議通用說明語言——CAPSL  6.4 安全協(xié)議分析編譯器Casper  5.5 安全協(xié)議的積分——spi積分  小結(jié)第7章 安全協(xié)議設(shè)計的形式化方法  7.1 Heintze&Tygar：模型及其構(gòu)成  7.2 Gong&Synersion：fail-stop協(xié)議  7.3 Buttyan&Staaman簡單邏輯  7.4 Rudolph抽象模型  小結(jié)第8章 Kerberos  8.1 Kerberos協(xié)議概況  8.2 票據(jù)標(biāo)志使用與請求  8.3 消息交換  8.4 ULTRIX操作系統(tǒng)上Kerberos的實(shí)現(xiàn)第9章IPSec協(xié)議  9.1 IPSec體系結(jié)構(gòu)  9.2 安全聯(lián)盟  9.3 IPSec的安全協(xié)議  9.4 IPSec的應(yīng)用第1O章 SSL V3.0  10.1 SSL V3.0概況  10.2 SSL V3.0中的狀態(tài)  10.3 記錄層協(xié)議  10.4 Change Cipher Spec協(xié)議  10.5 Alert協(xié)議  10.6 握手協(xié)議層第11章 X.509  11.1 X.509 v3證書概述  11.2 證書及其擴(kuò)展  11.3 CRL及其擴(kuò)展  11.4 證明路徑的檢驗(yàn)  11.5 算法支持第12章 SET協(xié)議  12.1 背景及商業(yè)要求  12.2 系統(tǒng)設(shè)計  12.3 證書管理結(jié)構(gòu)  12.4 證書請求協(xié)議  12.5 證書撤消  12.6 SET私有擴(kuò)展參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    安全協(xié)議理論與方法 PDF格式下載

---