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