《安全協定分析與設計》是人民郵電出版社2010年11月1日 出版的圖書。
基本介紹
- 書名：安全協定分析與設計
- 作者：衛劍釩
- ISBN：9787115220028
- 定價：23.00元
- 出版社： 人民郵電出版社
- 出版時間： 2010年11月1日
- 開本：16開
內容簡介,圖書目錄,
內容簡介
《安全協定分析與設計》系統地介紹了安全協定(主要是認證協定和密鑰建立協定)的基本概念、攻擊方法、分析方法和設計方法。全書分為7章，從安全協定的基本概念和協定記法出發，先介紹安全協定分析採用的假設和對攻擊者能力的界定，接著對一些經典的安全協定及其攻擊展開分析，然後對邏輯類分析方法、模型檢測分析方法和定理證明類分析方法分別進行介紹，並講述了安全協定的設計原則和設計方法，最後對一些實際使用中的具體安全協定進行講解和分析。《安全協定分析與設計》注重知識的系統性和覆蓋面的廣泛性，部分內容有一定的理論深度。
《安全協定分析與設計》可作為信息安全、計算機、通信專業的本科生和研究生教材，也可作為相關專業的研究人員和工程技術人員的參考書。
圖書目錄
第1部分 軟體工程基礎
第1章 引言
第2章 安全協定及攻擊
第3章 邏輯類分析方法
第4章 模型檢測分析方法
第5章 定理證明類分析方法
第6章 安全協定的設計
第7章 實用安全協定
附錄A 協定及攻擊索引
參考文獻
