本書系統(tǒng)地講解了利用形式化方法對網(wǎng)絡(luò)協(xié)議及系統(tǒng)進行安全性分析的原理、流程和典型工具，結(jié)合科研實例深入淺出地介紹了形式化安全方法的范疇、類型和使用技巧。全書內(nèi)容密切圍繞國家安全戰(zhàn)略需求，緊跟時代發(fā)展，是對多年來該領(lǐng)域的科學研究與工程實踐中基本原理與共性技術(shù)的歸納總結(jié)。本書分為三個單元，共8章。第一單元（第1～4章）主要介紹網(wǎng)絡(luò)協(xié)議形式化安全分析方法的相關(guān)基礎(chǔ)知識，包括緒論、 離散數(shù)學基礎(chǔ)知識、 密碼學基礎(chǔ)知識、 協(xié)議工程與軟件工程基礎(chǔ)知識等內(nèi)容，明確了采用形式化方法對計算機系統(tǒng)中網(wǎng)絡(luò)協(xié)議和軟件的安全性進行分析的主要步驟，以及形式化安全方法發(fā)展的歷史和趨勢。第二單元（第5～7章）主要介紹現(xiàn)有的網(wǎng)絡(luò)協(xié)議形式化安全分析方法，系統(tǒng)地講解了相關(guān)方法在確保通信協(xié)議和軟件實現(xiàn)的安全性方面的關(guān)鍵應(yīng)用，包括基于演繹推理和自動機模型的形式化安全方法和基于進程演算的形式化方法。第三單元（第8章）主要介紹通信軟件安全性的形式化驗證實例，展示了形式化方法在實際安全應(yīng)用中的具體實施和效果。
本書適合作為高等院校網(wǎng)絡(luò)空間安全、信息安全專業(yè)或其他相關(guān)專業(yè)本科生和研究生的教材，也可供相關(guān)領(lǐng)域的科研人員參考。