《安全協議原理與驗證》介紹安全協議及其驗證方法,主要內容包括三個部分:1.基礎知識,包括安全協議基本原理介紹、安全性分析以及密碼學基礎;2.安全協議原理,包括安全協議概述、經典的密碼交換及認證協議、電子商務協議以及應用中的安全協議;3.安全協議的分析與驗證方法,包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯、串空間理論及CSP方法等。
《安全協議原理與驗證》較為全麵、深入地介紹瞭信息安全體係中的安全協議原理及安全協議的分析驗證方法。內容安排由淺入深,重點突齣,涵蓋瞭當前安全協議研究領域的主要成果。
《安全協議原理與驗證》可作為高等院校信息安全、計算機、通信等專業高年級本科生和研究生教材,也可供從事相關專業的教學、科研和工程技術人員參考。
發表於2024-11-24
安全協議原理與驗證 2024 pdf epub mobi 電子書 下載
圖書標籤: 電子簽名 信息安全 電子現金 電子商務
安全協議原理與驗證 2024 pdf epub mobi 電子書 下載