日韩偷拍一区二区,国产香蕉久久精品综合网,亚洲激情五月婷婷,欧美日韩国产不卡

本書系統地介紹了安全協議(主要是認證協議和密鑰建立協議)的基本概念、攻擊方法、分析方法和設計方法。全書分為7章，從安全協議的基本概念和協議記法出發，先介紹安全協議分析采用的假設和對攻擊者能力的界定，接著對一些經典的安全協議及其攻擊展開分析，然后對邏輯類分析方法、模型檢測分析方法和定理證明類分析方法分別進行介紹，并講述了安全協議的設計原則和設計方法，對一些實際使用中的具體安全協議進行講解和分析。本書注重知識的系統性和覆蓋面的廣泛性，部分內容有一定的理論深度。

本書可作為信息安全、計算機、通信專業的本科生和研究生教材，也可作為相關專業的研究人員和工程技術人員的參考書。