密碼協議分析-基於認知邏輯 陳小娟 鄧輝文 9787302633389 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：清華大學
物品所在地：中國大陸
原出版社：清華大學
NT$630
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *數量非實際在台庫存 *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為實際資訊。 印行年月：202312*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：密碼協議分析-基於認知邏輯 ISBN：9787302633389 出版社：清華大學 著編譯者：陳小娟 鄧輝文 頁數：102 所在地：中國大陸 *此為代購商品 書號：1610563 可大量預訂，請先連絡。 編輯推薦 本書介紹了基於認知邏輯的密碼協議分析，從密碼協議的邏輯分析講起，介紹密碼學基本知識、認知邏輯基礎理論到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議，以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性，主要是作者在本領域所做的工作。從內容的編排上由淺入深，適合各種層次的讀者參閱，希望對其他研究者有一定的參考價值，為密碼協議分析和網路安全提供一定的理論與技術支撐。 本書可以作為高等院校計算機、網路空間安全、通信以及邏輯學等專業高年級本科生和研究生學習參考，也可供相關專業的教師、科研人員或工程技術人員參考。內容簡介 本書介紹了基於認知邏輯的密碼協議分析。從密碼協議的邏輯分析講起，介紹密碼學的基礎知識、認知邏輯基礎理論，到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議，以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性。本書內容的編排由淺入深層層展開，適合各層次的讀者參閱，可為密碼協議分析和網路安全提供一定的理論與技術支撐。 本書可供相關專業的教師、科研人員或工程技術人員參考，也可供高等院校計算機科學與技術、網路空間安全、通信工程以及邏輯學等專業高年級本科生和研究生學習使用。目錄 第一部分 基礎知識第1章 密碼協議的邏輯分析概述 1 1 引言 1 2 邏輯分析方法概覽 1 3 本書的結構 第2章 密碼與密碼協議 2 1 密碼學發展史 2 2 對稱加密 2 2 1 對稱加密概念 2 2 2 DES演算法 2 2 3 DES的安全性 2 3 非對稱加密 2 3 1 公鑰加密概念 2 3 2 RSA公鑰密碼 2 3 3 ElGamal公鑰密碼 2 4 加密方案與密碼協議 2 5 密碼協議的分類 2 6 對密碼協議常見的幾種攻擊 2 7 本章小結 第3章 認知邏輯理論 3 1 命題邏輯 3 2 模態邏輯 3 3 動態認知邏輯 3 3 1 認知邏輯概述 3 3 2 群體知識 3 3 3 公開宣告邏輯 3 3 4 認知行為 3 3 5 行為模型 3 3 6 非單調邏輯 3 4 時態認知邏輯 3 4 1 時態邏輯 3 4 2 時態認知邏輯概述 3 5 本章小結 第二部分 認知邏輯在密碼協議分析中的具體應用 第4章 基於認知行為的密碼協議分析 4 1 密碼協議實例描述 4 2 協議中的消息表示 4 3 協議的邏輯語言 4 4 更新函數 4 5 協議分析 4 6 本章小結 第5章 基於行為模型的密碼協議驗證 5 1 協議的語言A，BCryp 5 1 1 協議語言 A，BCryp的語法 5 1 2 協議語言 A，BCryp的語義 5 2 協議形式化 5 2 1 形式化密碼協議中的基本問題 5 2 2 形式化行為模型 5 3 協議分析 5 4 協議驗證 5 4 1 協議的目標模型 5 4 2 協議的驗證 5 5 本章小結 第6章 基於時態認知邏輯的密碼協議驗證 6 1 NeedhamSchroeder協議 6 2 協議語言 6 2 1 語法 6 2 2 語義 6 3 基於KL（n）的協議形式化 6 4 時態認知邏輯的推導規則 6 5 NeedhamSchroeder協議的屬性驗證 6 6 本章小結 第7章 基於動態認知邏輯的非單調密碼協議分析 7 1 寄存器模型 7 2 非單調性密碼協議語言 7 3 非單調性密碼協議的實例 7 4 非單調性密碼協議的分析 7 5 本章小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
