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