密碼協議形式化分析 在線電子書 圖書標籤: 密碼 協議 計算機科學 計算機 數學 密碼學
發表於2024-12-27
密碼協議形式化分析 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
本書對現在國內外最新的密碼協議形成化分析方法與設計準則進行瞭比較詳細的論述,建立瞭完整而係統密碼協議研究理論,並介紹瞭當前最為流行的幾個協議的實現方法。
全書共8章,分彆介紹瞭密碼協議所涉及的密碼學基礎知識,密碼協議的概念、缺陷與可能受到的攻擊類型,現有的一些密碼協議形式化分析方法,密碼協議的設計準則,密碼協議分析的主要形式化語言和分析工具,Kerberos協議、IPSee協議、SSL協議、X.509以及SET協議這五個密碼協議的實現方法和工作原理。
本書適閤作為高等院校信息安全專業本科生、研究生使用,也可供從事信息安全研究的科技人員參考。書的最後附有相關的參考文獻,提供瞭與本書有關的資料,供有興趣的讀者參考。
評分
評分
評分
評分
密碼協議形式化分析 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024