安全協議模型與設計

來自 孔夫子網 的圖片

《安全協議模型與設計》，劉天華，朱宏峰 著，出版社： 科學出版社。

書籍是用文字、圖畫和其他符號，在一定材料上記錄各種知識，清楚地表達思想，並且制裝成卷冊的著作物，為傳播各種知識和思想，積累人類文化的重要工具。它隨着歷史的發展，在書寫方式、所使用的材料和裝幀形式，以及形態方面，也在不斷變化與變更。

目錄

內容簡介

本書介紹了安全協議的整體結構、設計流程與分析方法。第1~3章介紹了安全協議的基本概念以及採用的數學知識與密碼工具，第4章介紹了安全協議的可證明理論，第5~7章探討了不同環境下安全協議的設計與分析。針對現有安全協議中出現的問題，提出了一些針對常見協議的改進協議，經過性能測試具有較好的實用性。

目錄

前言

第1章 引言

1.1 安全協議的基本概念

1.1.1 定義

1.1.2 目的

1.1.3 遊戲角色

1.2 安全協議的分類

1.2.1 第一種分類方法

1.2.2 第二種分類方法

1.2.3 其他方法

1.3 安全協議的模型與分析方法

1.4 安全協議的目標與研究層次

1.5 安全協議的設計原則

第2章 安全協議的數學基礎

2.1 數論基礎

2.1.1 整除及輾轉相除

2.1.2 算術基本定理

2.1.3 同餘式

2.1.4 費馬小定理和歐拉定理

2.2 抽象代數基礎

2.3 離散概率基礎

2.4 信息論基礎

2.5 計算複雜性理論基礎

2.5.1 基本概念

2.5.2 計算模型與判定問題

2.5.3 複雜性類

2.6 計算困難問題及其假設

2.6.1 大整數因子分解問題和RSA問題

2.6.2 離散對數和Diffie-Hellman問題

2.6.3 橢圓曲線和雙線性對問題

第3章 安全協議的密碼學工具

3.1 密碼學基本概念

3.1.1 加密：歷史回顧

3.1.2 密碼演化

3.2 古典密碼

3.3 計算密碼

3.3.1 對稱密鑰密碼

3.3.2 公開密鑰密碼

3.3.3 數字簽名

3.3.4 Hash函數

3.3.5 消息認證與消息認證碼

3.3.6 偽隨機函數

第4章 安全協議的可證明理論

4.1 密碼體制的攻擊遊戲

4.2 隨機預言模型下的安全性證明

4.3 標準模型下的安全性證明

第5章 基本安全協議研究

5.1 認證協議

5.1.1 認證協議的基本概念

5.1.2 認證協議的基本技術

5.1.3 常規認證協議

5.2 密鑰交換協議

5.2.1 可信模型

5.2.2 安全性討論

5.3 認證及密鑰交換協議

5.3.1 基於口令的認證及密鑰交換協議

5.3.2 基於身份的認證及密鑰交換協議

5.3.3 典型認證及密鑰交換協議

5.4 抗字典攻擊的E-3PAKE協議

5.4.1 PAKE中典型字典攻擊案例分析——DHEKE協議

5.4.2 PAKE中典型字典攻擊案例分析——STW-3PAKE

5.4.3 PAKE中典型字典攻擊案例分析——3PAKE-2協議

5.4.4 抗字典攻擊的E-3PAKE協議

5.5 基於認證符的高效跨域EV-C2C-PAKE協議

5.5.1 相關工作

5.5.2 基於認證符的高效跨域EV-C2G-PAKE協議

5.5.3 基本工具

5.5.4 EV-C2C-3PAKE

5.5.5 安全與性能分析

5.5.6 實例與結論

5.6 一種基於橢圓曲線的無認證表高效魯棒PAKE方案

5.6.1 Juang方案的一種攻擊方法

5.6.2 一種改進方案

5.6.3 效率與安全性分析

5.7 基於口令的門限密鑰交換協議

5.7.1 TPAKE協議模型

5.7.2 TPAKE協議描述

5.7.3 安全性證明與性能分析

第6章 兩方安全協議研究

6.1 零知識協議

6.1.1 零知識思想

6.1.2 交互證明系統

6.1.3 零知識證明

6.2 比特承諾協議

6.2.1 比特承諾簡介

6.2.2 比特承諾實例

6.3 擲幣協議

6.4 電話撲克協議

6.5 不經意傳輸協議

6.6 可否認認證協議

6.7 同步秘密交換協議

6.8 一種P2P網絡中的高效隱蔽搜索協議

6.8.1 引言

6.8.2 隱蔽搜索模型設計

6.8.3 安全性與性能分析

6.9 一種基於隨機預言模型的完全公平簽名方案

6 9 1引言

6.9.2 預備知識

6.9.3 基本模型

6.9.4 基於Schnorr signature的FKESS實例

6.9.5 FKESS的安全性與效率分析

第7章 多方安全協議研究

7.1 基本多方協議

7.1.1 秘密共享

7.1.2 可驗證秘密共享

7.1.3 BD協議

7.1.4 保密的多方計算

7.2 電子選舉協議

7.2.1 電子選舉的基本概念

7.2.2 安全電子選舉模型

7.2.3 安全電子選舉結構

7.2.4 安全電子選舉優缺點與實例

7.3 數字現金

7.3.1 現實場景分析

7.3.2 盲簽名

7.3.3 群簽名

7.4 一種基於口令的群組密鑰協商協議PAGKA

7.4.1 群組密鑰管理分類

7.4.2 基於口令的組通信密鑰協商協議

7.4.3 一種基於口令的組通信密鑰協商協議PAGKA

7.4.4 PAGKA屬性分析與結論

7.5 基於樹結構的分布式組密鑰協商協議

7.5.1 可認證BD協議

7.5.2 基於樹結構具有認證功能的組密鑰協商協議TABD

7.5.3 安全性和性能分析

7.5.4 結論

參考文獻