安全協定原理與驗證

《安全協定原理與驗證》是2011年北京郵電大學出版社出版的圖書，作者是王聰。

基本介紹

• 書名：安全協定原理與驗證
• 作者：王聰
• ISBN：9787563526727, 7563526722
• 類別：普通高校信息安全系列教材
• 頁數：303頁
• 出版社：北京郵電大學出版社
• 出版時間：2011年8月1日
• 裝幀：平裝
• 開本：16

內容簡介

《安全協定原理與驗證》介紹安全協定及其驗證方法，主要內容包括三個部分：1.基礎知識，包括安全協定基本原理介紹、安全性分析以及密碼學基礎；2.安全協定原理，包括安全協定概述、經典的密碼交換及認證協定、電子商務協定以及套用中的安全協定；3.安全協定的分析與驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯、串空間理論及CSP方法等。主要介紹安全協定及其驗證方法 。

《安全協定原理與驗證》較為全面、深入地介紹了信息安全體系中的安全協定原理及安全協定的分析驗證方法。內容安排由淺入深，重點突出，涵蓋了當前安全協定研究領域的主要成果。

《安全協定原理與驗證》可作為高等院校信息安全、計算機、通信等專業高年級本科生和研究生教材，也可供從事相關專業的教學、科研和工程技術人員參考。

目錄

第一部分 基礎知識

第1章 引言

1.1 安全協定的研究背景、基本概念

1.1.1 安全協定的研究背景

1.1.2 安全協定的基本概念

1.2 安全協定的安全性分析

1.2.1 秘密性

1.2.2 認證性

1.2.3 完整性

1.2.4 不可否認性

1.2.5 公平性

1.2.6 原子性

1.2.7 匿名性

1.3 安全協定的形式化分析技術概述

1.3.1 安全協定形式化分析方法概述

1.3.2 基於知識與信念的邏輯推理方法

1.3.3 基於代數模型的狀態檢驗方法

1.3.4 基於不變集的代數定理證明方法

1.4 本書的安排

第2章 密碼學基礎

2.1 密碼學概述

2.1.1 密碼學的發展過程

2.1.2 密碼學的基本概念

2.2 密碼體制

2.3 對稱密鑰密碼體制

2.3.1 代換密碼

2.3.2 數據加密標準DES

2.3.3 高級數據加密標準AES

2.4 公鑰密碼體制

2.4.1 單向陷門函式

2.4.2 RSA密碼體制

2.4.3 MH背包體制

2.5 數字簽名

2.5.1 數字簽名的基本概念

2.5.2 數字簽名方案

2.5.3 RSA數字簽名

2.6 哈希函式

2.6.1 哈希函式基本概念

2.6.2 幾種常用哈希函式介紹

2.7 本章小結

習題

第二部分 安全協定原理

第3章 安全協定概述

3.1 概述

3.2 安全協定分類

3.3 安全協定的缺陷

3.4 安全協定的威脅模型

3.5 針對安全協定的攻擊

3.5.1 重放攻擊

3.5.2 中間人攻擊

3.5.3 並行會話攻擊

3.5.4 反射攻擊

3.5.5 交錯攻擊

……

第4章 認證與密鑰交換協定

第5章 電子商務協定

第6章 實際使用中的的安全協定

第三部分 安全協定的分析、驗證方法

第7章 BAN邏輯

第8章 BAN類邏輯

第9章 Kailar邏輯

第10章 時間相關安全協定分析

第11章 串空間模型理論及協定分析方法

第12章 安全協定的CSP分析方法

第13章 其他安全協定分析驗證方法

參考文獻