《密碼協定形式化分析》是2006年機械工業出版社出版的圖書。本書對現在國內外最新的密碼協定形成化分析方法與設計準則進行了比較詳細的論述，建立了完整而系統密碼協定研究理論，並介紹了當前最為流行的幾個協定的實現方法。
基本介紹
- 書名：密碼協定形式化分析
- ISBN：711119229X
- 頁數：251頁
- 出版社：機械工業出版社
- 出版時間：2006年7月1日
- 開本：16開
基本信息,內容簡介,目錄,
基本信息
出版社: 機械工業出版社; 第1版 (2006年7月1日)
叢書名: 高等院校信息安全專業規劃教材
平裝: 251頁
開本: 16開
ISBN: 711119229X
條形碼: 9787111192299
產品尺寸及重量: 26 x 18.6 x 1 cm ; 358 g
品牌: 機械工業
ASIN: B0011C9692
內容簡介
全書共8章，分別介紹了密碼協定所涉及的密碼學基礎知識，密碼協定的概念、缺陷與可能受到的攻擊類型，現有的一些密碼協定形式化分析方法，密碼協定的設計準則，密碼協定分析的主要形式化語言和分析工具，Kerberos協定、IPSee協定、SSL協定、X.509以及SET協定這五個密碼協定的實現方法和工作原理。
目錄
出版說明
序
前言
第一章 引論
第二章 密碼協定概述
第三章 形式邏輯方法
第四章 模型檢測方法
第五章 定理證明方法
第六章 密碼協定的設計準則
第七章 密碼協定分析主要的形式化語言和分析工具
第八章 幾個具體
