《網絡安全協議的形式化分析與驗證》概述瞭形式化技術在網絡安全協議分析、驗證中的主要應用原理及現狀;在此基礎上詳細地敘述瞭網絡安全協議的形式化分析技術、形式化設計技術;最後重點介紹瞭目前的形式化分析技術對當前典型應用環境下復雜、實用網絡安全協議的分析成果,包括IPSec協議、SSL協議、電子商務協議、移動通信安全協議及群組通信安全協議等。
信息安全是關係到國傢安全和經濟發展的重大戰略問題,至關重要。安全協議作為實現信息安全的基礎,其自身的安全性問題已成為安全研究的重要內容。目前,針對安全協議的安全性驗證已形成瞭許多不同的流派、理論和方法。《網絡安全協議的形式化分析與驗證》理論與應用並重,深入淺齣地介紹瞭各類形式化分析技術的基本原理及其在大型復雜安全協議分析中的實際應用。
《網絡安全協議的形式化分析與驗證》可作為信息安全專業高年級本科生教材,也可作為高等學校電子信息類、計算機類等相關專業的參考書。
發表於2024-11-26
網絡安全協議的形式化分析與驗證 2024 pdf epub mobi 電子書 下載
圖書標籤:
網絡安全協議的形式化分析與驗證 2024 pdf epub mobi 電子書 下載