安全協議原理與驗證

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

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