本書介紹了基于認(rèn)知邏輯的密碼協(xié)議分析。從密碼協(xié)議的邏輯分析講起，介紹密碼學(xué)的基礎(chǔ)知識、認(rèn)知邏輯基礎(chǔ)理論,到用認(rèn)知中的行為、行為模型以及時態(tài)認(rèn)知邏輯分析具體的密碼協(xié)議，以具體實例闡述了用動態(tài)認(rèn)知邏輯的理論來分析密碼協(xié)議的安全性。本書內(nèi)容的編排由淺入深層層展開，適合各層次的讀者參閱，可為密碼協(xié)議分析和網(wǎng)絡(luò)安全提供一定的理論與技術(shù)支撐。
本書可供相關(guān)專業(yè)的教師、科研人員或工程技術(shù)人員參考，也可供高等院校計算機科學(xué)與技術(shù)、網(wǎng)絡(luò)空間安全、通信工程以及邏輯學(xué)等專業(yè)高年級本科生和研究生學(xué)習(xí)使用。