《網絡安全協議的形式化分析與驗證》概述瞭形式化技術在網絡安全協議分析、驗證中的主要應用原理及現狀；在此基礎上詳細地敘述瞭網絡安全協議的形式化分析技術、形式化設計技術;最後重點介紹瞭目前的形式化分析技術對當前典型應用環境下復雜、實用網絡安全協議的分析成果，包括IPSec協議、SSL協議、電子商務協議、移動通信安全協議及群組通信安全協議等。
信息安全是關係到國傢安全和經濟發展的重大戰略問題，至關重要。安全協議作為實現信息安全的基礎，其自身的安全性問題已成為安全研究的重要內容。目前，針對安全協議的安全性驗證已形成瞭許多不同的流派、理論和方法。《網絡安全協議的形式化分析與驗證》理論與應用並重，深入淺齣地介紹瞭各類形式化分析技術的基本原理及其在大型復雜安全協議分析中的實際應用。
《網絡安全協議的形式化分析與驗證》可作為信息安全專業高年級本科生教材，也可作為高等學校電子信息類、計算機類等相關專業的參考書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有