| | | 密碼協議(基於可信任新鮮性的安全性分析)(精)/信息安全繫列叢書 | 該商品所屬分類:計算機/網絡 -> 網絡技術 | 【市場價】 | 470-681元 | 【優惠價】 | 294-426元 | 【介質】 | book | 【ISBN】 | 9787040362503 | 【折扣說明】 | 一次購物滿999元台幣免運費+贈品 一次購物滿2000元台幣95折+免運費+贈品 一次購物滿3000元台幣92折+免運費+贈品 一次購物滿4000元台幣88折+免運費+贈品
| 【本期贈品】 | ①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
| |
版本 | 正版全新電子版PDF檔 | 您已选择: | 正版全新 | 溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。*. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。 *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。 | | | | 內容介紹 | |
![](https://bnmppic.bookuu.com/goods/20/10/51/97870403625032429688-fm.jpg)
-
出版社:高等教育
-
ISBN:9787040362503
-
作者:董玲//陳克非
-
頁數:355
-
出版日期:2012-11-01
-
印刷日期:2012-11-01
-
包裝:精裝
-
開本:16開
-
版次:1
-
印次:1
-
字數:430千字
-
董玲編著的《密碼協議(基於可信任新鮮性的安全性分析)(精)》是信息安全繫列叢書之一,本書主要介紹如何利用繫統工程思想和可信任新鮮性的方法,分析和設計密碼協議。作者基於可信任的新鮮性標識符概念,提出了一個新穎的新鮮性原則。
-
董玲編著的《密碼協議(基於可信任新鮮性的安全性分析)(精)》主要
介紹如何利用繫統工程思想和可信任新鮮性的方法,分析和設計密碼協議
。作者基於可信任的新鮮性標識符概念,提出了一個新穎的新鮮性原則。
該原則指出了一種有效的、易用的密碼協議安全性分析方法。使用這種分
析方法,可以有效檢驗協議在實際應用中能否滿足安全需求。此外,《密
碼協議(基於可信任新鮮性的安全性分析)(精)》中給出大量的分析實例,
詳細圖解了如何基於概率定義安全性,如何將安全指標定量化,如何針對
具體的協議尋找漏洞,如何自動實現協議漏洞的查找,等等。
-
第1章 密碼協議概述 1.1 信息安全與加密 1.2 密碼協議的分類 1.2.1 身份認證協議 1.2.2 密鑰建立協議 1.2.3 電子商務協議 1.2.4 安全多方協議 1.3 密碼協議的安全 1.4 本書的動機 參考文獻 第2章 密碼協議背景知識 2.1 預備知識 2.1.1 函數 2.1.2 術語 2.2 密碼學基礎 2.2.1 密碼概念 2.2.2 對稱密鑰加密 2.2.3 公鑰加密 2.2.4 數字簽名 2.2.5 哈希函數 2.2.6 消息認證 2.3 密碼協議 2.3.1 安全信道 2.3.2 主體 2.3.3 時變參數 2.3.4 挑戰和響應 2.3.5 密碼協議的其它分類 2.4 密碼協議的安全性 2.4.1 針對基礎密碼算法的攻擊 2.4.2 針對協議的攻擊 2.4.3 協議的安全性 2.4.4 協議安全的分析方法 2.5 通信威脅模型 2.5.1 Dolev-Yao威脅模型 2.5.2 協議環境的假設 2.5.3 密碼協議表達方式 參考文獻 第3章 密碼協議安全設計的工程原則 3.1 工程原則介紹 3.1.1 謹慎工程原則 3.1.2 密碼協議工程原則 3.2 協議工程需求分析原則 3.2.1 安全需求分析原則 3.2.2 明文需求分析原則 3.2.3 應用環境分析原則 3.2.4 攻擊者模型及攻擊者能力分析原則 3.2.5 密碼服務需求分析原則 3.3 密碼協議工程的詳細協議設計原則 3.3.1 主體通信的真實性原則 3.3.2 新鮮性標識符的新鮮性和生成者認證原則 3.3.3 消息的數據完整性保護原則 3.3.4 逐步細化的設計原則 3.4 密碼協議工程的安全性證明原則 參考文獻 第4章 密碼協議的非形式化分析方法 4.1 密碼協議安全性 4.1.1 在計算模型下的認證性和保密性 4.1.2 安全性定義 4.2 基於可信任新鮮性的安全機制 4.2.1 概念 4.2.2 新鮮性原則 4.2.3 認證協議的安全性 4.2.4 基於可信任新鮮性的分析方法 4.2.5 基於可信任新鮮性的安全性分析應用 第7章 協議安全的形式化分析 第8章 基於可信任新鮮性的密碼協議設計 第9章 基於可信任新鮮性的密碼協議自動化分析 索引
| | | | | |