信息安全專業系列教材·安全協定

《信息安全專業系列教材·安全協定》全面和系統地講述了安全協定的基本理論、安全協定的主要類型及安全協定的分析方法。圍繞機密性、完整性、認證性、匿名性、公平性等實際需求，較全面地介紹滿足各種套用需要的安全協定。由北京郵電大學出版社2009年出版，作者曹天傑,張永平,汪楚嬌。

基本介紹

• 書名：信息安全專業系列教材·安全協定
• 作者：曹天傑,張永平,汪楚嬌
• ISBN：9787563520497
• 頁數：241
• 出版社：北京郵電大學出版社
• 出版時間：第1版 (2009年8月1日)
• 開本：16

內容簡介

《信息安全專業系列教材?安全協定》主要內容包括：安全協定概述、安全協定的密碼學基礎、基本的安全協定、認證與密鑰建立協定、零知識證明、選擇性泄露協定、數字簽名變種、非否認協定、公平交換協定、安全電子商務協定、安全多方計算、安全協定的形式化分析。

《安全協定》內容全面、選材新穎、前後連貫，是江蘇省高等學校精品教材建設立項項目。《安全協定》不僅可以作為信息安全專業本科生、研究生教材，也可以作為信息安全領域科研人員的參考書。

目錄

第1章 安全協定概述

1.1 安全協定的概念

1.1.1 協定、算法與安全協定

1.1.2 協定運行環境中的角色

1.2 常用的安全協定

1.3 安全協定的安全性質

1.4 對安全協定的攻擊

1.4.1 竊聽

1.4.2 篡改

1.4.3 重放

1.4.4 預重放

1.4.5 反射

1.4.6 拒絕服務

1.4.7 類型攻擊

1.4.8 密碼分析

1.4.9 證書操縱

1.4.10 協定互動

1.5 安全協定的缺陷

1.6 安全協定的三大理論分析方法

1.6.1 安全多方計算

1.6.2 安全協定的形式化分析方法

1.6.3 安全協定的可證明安全性理論

習題1

第2章 安全協定的密碼學基礎

2.1 密碼學的基本概念

2.2 數論中的一些難題

2.3 隨機數

2.4 分組密碼

2.5 公開密鑰密碼

2.5.1 公開密鑰密碼的基本概念

2.5.2 ：RSA體制

2.5.3 Rabin體制

2.6 散列函式

2.7 訊息認證

2.8 數字簽名

2.8.1 數字簽名的基本概念

2.8.2 RSA簽名

2.8.3 ：RSA簽名標準PSS

2.8.4 數字簽名標準DSS

2.8.5 一般的離散對數簽名體制

2.8.6 ElGamal數字簽名

2.8.7 Schnorr簽名體制

2.8.8 Okamoto簽名體制

2.8.9 基於橢圓曲線的數字簽名算法ECDSA

2.9 基於身份的公鑰密碼學

2.9.1 基於身份的密碼系統與基於PKI的密碼系統的比較

2.9.2 基於身份的加密方案

2.9.3 基於身份的簽名方案

習題2

第3章 基本的安全協定

3.1 秘密分割

3.2 秘密共享

3.3 閾下信道

3.3.1 閾下信道的概念

3.3.2 基於ElGareal數字簽名的閾下信道方案

3.3.3 基於RSA數字簽名的閾下信道方案

3.4 比特承諾

3.4.1 使用對稱密碼算法的比特承諾

3.4.2 使用單向函式的比特承諾

3.4.3 使用偽隨機序列發生器的比特承諾

3.5 公平的硬幣拋擲

3.5.1 單向函式拋幣協定

3.5.2 公開密鑰密碼拋幣協定

3.6 智力撲克

3.6.1 基本的智力撲克遊戲

3.6.2 三方智力撲克

3.7 不經意傳輸

習題3

第4章 認證與密鑰建立協定

4.1 認證與密鑰建立簡介

4.1.1 創建密鑰建立協定

4.1.2 協定結構

4.1.3 協定目標

4.1.4 新鮮性

4.2 使用共享密鑰密碼的協定

4.2.1 實體認證協定

4.2.2 無伺服器密鑰建立

4.2.3 基於伺服器的密鑰建立

4.2.4 使用多伺服器的密鑰建立

4.3 使用公鑰密碼的認證與密鑰傳輸

4.3.1 實體認證協定

4.3.2 密鑰傳輸協定

4.4 密鑰協商協定

4.4.1 Diffie-Hellman密鑰協商

4.4.2 有基本訊息格式的基於DH交換的協定

4.4.3 增強訊息格式的DH交換協定

4.5 可證明安全的認證協定

4.6 基於口令的協定

4.6.1 口令協定概述

4.6.2 使用Diffie-Hellman進行加密密鑰交換

4.6.3 強化的EKE

4.7 具有隱私保護的認證密鑰交換協定

4.7.1 可否認的認證密鑰交換協定

4.7.2 通信匿名的認證密鑰交換協定

4.7.3 用戶匿名的認證密鑰交換協定

4.8 會議協定

4.9 RFID認證協定

4.9.1 RFID系統的基本構成

4.9.2 RFID系統的安全需求

4.9.3 物理安全機制

4.9.4 基於密碼技術的安全機制

4.10 無線網路認證協定

4.10.1 WLAN的網路結構

4.10.2 無線區域網路的安全威脅

4.10.3 IEEE802.1 1的認證方式

4.10.4 IEEE802.1 1加密機制

4.10.5 IEEE802.1 x的認證機制

4.10.6 IEEE802.1 x協定的特點

4.10.7 WAPI協定

習題4

第5章 零知識證明

5.1 零知識證明的概念

5.1.1 零知識證明的簡單模型

5.1.2 互動式零知識證明

5.1.3 非互動式零知識證明

5.2 零知識證明的例子

5.2.1 平方根問題的零知識

5.2.2 離散對數問題的零知識證明

5.3 知識簽名

5.4 身份鑑別方案

5.4.1 身份的零知識證明

5.4.2 簡化的Feige-Fiat-Shamir身份鑑別方案

5.4.3 Feige-Fiat-Shamir身份鑑別方案

5.4.4 Guillo-QLfisquater身份鑑別方案

5.4.5 Schnorr身份鑑別方案

5.5 NP語言的零知識證明

5.5.1 NP完全問題

5.5.2 NP與零知識證明

習題5

第6章 選擇性泄露協定

第7章 數字簽名變種

第8章 非否認協定

第9章 公平交換協定

第10章 安全電子商務協定

第11章 安全多方計算

第12章 安全協定的形式化分析

參考文獻