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