本書介紹安全協議及其驗證方法，主要內容包括三個部分🤷🏼‍♂️：1.基礎知識，包括安全協議基本原理介紹、安全性分析以及密碼學基礎；2.安全協議原理，包括安全協議概述、經典的密碼交換及認證協議、電子商務協議以及應用中的安全協議🧍🏻‍♀️；3.安全協議的分析與驗證方法💓，包括BAN邏輯、BAN類邏輯🐪、Kailar邏輯、CS邏輯、串空間理論及CSP方法等。
    本書較為全面🍶、深入地介紹了信息安全體系中的安全協議原理及安全協議的分析驗證方法。內容安排由淺入深，重點突出🧑🏻‍🔬，涵蓋了當前安全協議研究領域的主要成果。

    王聰編著

    北京郵電大學出版社2011年8月出版

    索書號：TP393.08/W134

    ISBN：9787563526727

目錄

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