安全協定理論與方法

《安全協定理論與方法》是2003年科學出版社出版的圖書，作者范紅 ，馮登國。

基本介紹

• 作者：范紅                       /            范紅 編                       /            馮登國
• ISBN：9787030122773
• 頁數：421
• 定價：42.00元
• 出版社：科學出版社
• 出版時間：2003-1
• 裝幀：平裝

內容介紹

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