本書介紹安全協(xié)議及其驗證方法，主要內(nèi)容包括四部分：第一部分為基礎知識，包括安全協(xié)議基本原理介紹、安全性分析以及密碼學基礎；第二部分為安全協(xié)議原理，包括安全協(xié)議概述、認證與密鑰交換協(xié)議、電子商務協(xié)議以及實際使用中的安全協(xié)議；第三部分為安全協(xié)議的分析、驗證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯和串空間模型理論等；第四部分為安全協(xié)議前沿技術研究簡介，包括前沿計算領域中的安全協(xié)議、安全協(xié)議硬件卸載和人工智能與安全協(xié)議。