安全協定理論與方法

內容介紹

《安全協定理論與方法》是《信息安全國家重點實驗室信息安全叢書》之一。書中系統地介紹了當前計算機網路安全協定的理論和方法，主要內容包括安全協定的基本概念、缺陷以及可能受到的攻擊類型，基於推理結構性方法，基於攻擊結構性方法，基於證明結構性方法，安全協定分析的形式化接口，安全協定設計的形式化方法，Kerberos協定，IPSec協定，SSL協定，X·509以及SET協定。<br>《安全協定理論與方法》可作為高等院校計算機、通信、信息安全等專業的教學參考書，也可供從事相關專業的教學、科研和工程技術人員參考。