123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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