密碼協(xié)議形式化分析

出版說明
序
前言
第1章 引論
1.1 密碼體制
1.2 數(shù)字簽名
1.3 Hash函數(shù)
1.4 密鑰管理
1.5 PKI公鑰基礎(chǔ)設(shè)施
1.6 本章小結(jié)
1.7 習(xí)題
第2章 密碼協(xié)議概述
2.1 引言
2.2 密碼協(xié)議基本概念
2.3 密碼協(xié)議的缺陷及所受到的攻擊實(shí)例
2.4 密碼協(xié)議的設(shè)計(jì)與分析
2.5 密碼協(xié)議形式化分析的研究與進(jìn)展
2.6 本章小結(jié)
2.7 習(xí)題
第3章 形式邏輯方法
3.1 BAN邏輯
3.2 擴(kuò)展的BAN邏輯
3.3 BAN類邏輯現(xiàn)狀
3.4 Kailar邏輯
3.5 本章小結(jié)
3.6 習(xí)題
第4章 模型檢測方法
4.1 引言
4.2 模型檢測技術(shù)分析密碼協(xié)議的方法和結(jié)果
4.3 CSP及FDR模型檢測技術(shù)
……
第5章 定理證明方法
第6章 密碼協(xié)議的設(shè)計(jì)準(zhǔn)則
第7章 密碼協(xié)議分析主要的形式化語言和分析工具
第8章 幾個(gè)具體密碼協(xié)議的實(shí)現(xiàn)方法和工作原理
參考文獻(xiàn)