內容簡介
本書共分五篇15章。繫統地全面介紹了安全協議實施生成與驗證的基本理論和關鍵技術及*成果。主要內容包括安全協議協議規範形式化分析與驗證技術、安全協議實施的生成與驗證技術及其國內外發展現狀、應用PI演算、一階定理證明器ProVerif及應用、概率進程演算Blanchet演算、自動化安全協議證明器CryptoVerif及應用、基於計算模型自動化驗證安全協議Java實施認證性、基於計算模型生成密碼學安全的安全協議Java實施、基於符號模型生成密碼學安全的安全協議Java實施等。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|