密碼協(xié)議：基于可信任新鮮性的安全性分析

第1章 密碼協(xié)議概述
　1.1 信息安全與加密
　1.2 密碼協(xié)議的分類
　　1.2.1 身份認證協(xié)議
　　1.2.2 密鑰建立協(xié)議
　　1.2.3 電子商務協(xié)議
　　1.2.4 安全多方協(xié)議
　1.3 密碼協(xié)議的安全
　1.4 本書的動機
　參考文獻
第2章 密碼協(xié)議背景知識
　2.1 預備知識
　　2.1.1 函數(shù)
　　2.1.2 術(shù)語
　2.2 密碼學基礎
　　2.2.1 密碼概念
　　2.2.2 對稱密鑰加密
　　2.2.3 公鑰加密
　　2.2.4 數(shù)字簽名
　　2.2.5 哈希函數(shù)
　　2.2.6 消息認證
　2.3 密碼協(xié)議
　　2.3.1 安全信道
　　2.3.2 主體
　　2.3.3 時變參數(shù)
　　2.3.4 挑戰(zhàn)和響應
　　2.3.5 密碼協(xié)議的其它分類
　2.4 密碼協(xié)議的安全性
　　2.4.1 針對基礎密碼算法的攻擊
　　2.4.2 針對協(xié)議的攻擊
　　2.4.3 協(xié)議的安全性
　　2.4.4 協(xié)議安全的分析方法
　2.5 通信威脅模型
　　2.5.1 Dolev-Yao威脅模型
　　2.5.2 協(xié)議環(huán)境的假設
　　2.5.3 密碼協(xié)議表達方式
　參考文獻
第3章 密碼協(xié)議安全設計的工程原則
　3.1 工程原則介紹
　　3.1.1 謹慎工程原則
　　3.1.2 密碼協(xié)議工程原則
　3.2 協(xié)議工程需求分析原則
　　3.2.1 安全需求分析原則
　　3.2.2 明文需求分析原則
　　3.2.3 應用環(huán)境分析原則
　　3.2.4 攻擊者模型及攻擊者能力分析原則
　　3.2.5 密碼服務需求分析原則
　3.3 密碼協(xié)議工程的詳細協(xié)議設計原則
　　3.3.1 主體通信的真實性原則
　　3.3.2 新鮮性標識符的新鮮性和生成者認證原則
　　3.3.3 消息的數(shù)據(jù)完整性保護原則
　　3.3.4 逐步細化的設計原則
　3.4 密碼協(xié)議工程的安全性證明原則
　參考文獻
第4章 密碼協(xié)議的非形式化分析方法
　4.1 密碼協(xié)議安全性
　　4.1.1 在計算模型下的認證性和保密性
　　4.1.2 安全性定義
　4.2 基于可信任新鮮性的安全機制
　　4.2.1 概念
　　4.2.2 新鮮性原則
　　4.2.3 認證協(xié)議的安全性
　　4.2.4 基于可信任新鮮性的分析方法
　　4.2.5 基于可信任新鮮性的安全性分析應用
　　……
第5章 實際使用的網(wǎng)絡協(xié)議安全分析
第6章 密碼協(xié)議安全性的保證
第7章 協(xié)議安全的形式化分析
第8章 基于可信任新鮮性的密碼協(xié)議設計
第9章 基于可信任新鮮性的密碼協(xié)議自動化分析
索引