安全協(xié)議原理與驗證

定　價：￥36.00

作　者：	王聰等編著
出版社：	北京郵電大學出版社
叢編項：
標　簽：	通信保密與通信安全

購買這本書可以去

ISBN：	9787563526727	出版時間：	2011-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	303	字數(shù)：

內(nèi)容簡介

　　本書介紹安全協(xié)議及其驗證方法，主要內(nèi)容包括三個部分：1.基礎知識，包括安全協(xié)議基本原理介紹、安全性分析以及密碼學基礎；2.安全協(xié)議原理，包括安全協(xié)議概述、經(jīng)典的密碼交換及認證協(xié)議、電子商務協(xié)議以及應用中的安全協(xié)議；3.安全協(xié)議的分析與驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯、串空間理論及CSP方法等。本書較為全面、深入地介紹了信息安全體系中的安全協(xié)議原理及安全協(xié)議的分析驗證方法。內(nèi)容安排由淺入深，重點突出，涵蓋了當前安全協(xié)議研究領域的主要成果。本書可作為高等院校信息安全、計算機、通信等專業(yè)高年級本科生和研究生教材，也可供從事相關專業(yè)的教學、科研和工程技術人員參考。

作者簡介

暫缺《安全協(xié)議原理與驗證》作者簡介

圖書目錄

第一部分基礎知識
　第1章引言
　第2章密碼學基礎
第二部分安全協(xié)議原理
　第3章安全協(xié)議概述
　第4章認證與密鑰交換協(xié)議
　第5章電子商務協(xié)議
　第6章實際使用中的的安全協(xié)議
第三部分安全協(xié)議的分析、驗證方法
　第7章 BAN邏輯
　第8章 BAN類邏輯
　第9章 Kailar邏輯
　第10章時間相關安全協(xié)議分析
　第11章串空間模型理論及協(xié)議分析方法
　第12章安全協(xié)議的CSP分析方法
　第13章其他安全協(xié)議分析驗證方法
參考文獻