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

定　價：￥29.00

作　者：	王亞弟、束妮娜、韓繼紅、王娜
出版社：	機械工業(yè)出版社
叢編項：	高等院校信息安全專業(yè)規(guī)劃教材
標　簽：	密碼學

購買這本書可以去

ISBN：	9787111192299	出版時間：	2006-07-01	包裝：	平裝
開本：	16開	頁數：	251	字數：

內容簡介

　　本書對現(xiàn)在國內外最新的密碼協(xié)議形成化分析方法與設計準則進行了比較詳細的論述，建立了完整而系統(tǒng)密碼協(xié)議研究理論，并介紹了當前最為流行的幾個協(xié)議的實現(xiàn)方法。全書共8章，分別介紹了密碼協(xié)議所涉及的密碼學基礎知識，密碼協(xié)議的概念、缺陷與可能受到的攻擊類型，現(xiàn)有的一些密碼協(xié)議形式化分析方法，密碼協(xié)議的設計準則，密碼協(xié)議分析的主要形式化語言和分析工具，Kerberos協(xié)議、IPSee協(xié)議、SSL協(xié)議、X.509以及SET協(xié)議這五個密碼協(xié)議的實現(xiàn)方法和工作原理。本書適合作為高等院校信息安全專業(yè)本科生、研究生使用，也可供從事信息安全研究的科技人員參考。書的最后附有相關的參考文獻，提供了與本書有關的資料，供有興趣的讀者參考。

作者簡介

暫缺《密碼協(xié)議形式化分析》作者簡介

圖書目錄

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