密碼協議分析——基於認知邏輯

陳小娟、鄧輝文

密碼協議分析——基於認知邏輯 預覽內頁
  • 出版商: 清華大學
  • 出版日期: 2023-12-01
  • 定價: $594
  • 售價: 7.9 折 $469
  • 語言: 簡體中文
  • 頁數: 102
  • ISBN: 730263338X
  • ISBN-13: 9787302633389
  • 相關分類: Penetration-test

    • 立即出貨 (庫存=1)

  • 密碼協議分析——基於認知邏輯-preview-1
  • 密碼協議分析——基於認知邏輯-preview-2
  • 密碼協議分析——基於認知邏輯-preview-3
密碼協議分析——基於認知邏輯-preview-1

簡體書新到貨｜2書75折 (8/25--8/31) 詳見活動內容 »

商品描述

本書介紹了基於認知邏輯的密碼協議分析。從密碼協議的邏輯分析講起，介紹密碼學的基礎知識、認知邏輯基礎理論,到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議，以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性。本書內容的編排由淺入深層層展開，適合各層次的讀者參閱，可為密碼協議分析和網絡安全提供一定的理論與技術支撐。 本書可供相關專業的教師、科研人員或工程技術人員參考，也可供高等院校計算機科學與技術、網絡空間安全、通信工程以及邏輯學等專業高年級本科生和研究生學習使用。

目錄大綱

目錄

 

 

第一部分基 礎 知 識

第1章密碼協議的邏輯分析概述31.1引言3

1.2邏輯分析方法概覽3

1.3本書的結構6

第2章密碼與密碼協議8

2.1密碼學發展史8

2.2對稱加密10

2.2.1對稱加密概念10

2.2.2DES算法11

2.2.3DES的安全性17

2.3非對稱加密18

2.3.1公鑰加密概念18

2.3.2RSA公鑰密碼19

2.3.3ElGamal公鑰密碼22

2.4加密方案與密碼協議24

2.5密碼協議的分類26

2.6對密碼協議常見的幾種攻擊26

2.7本章小結28

第3章認知邏輯理論29

3.1命題邏輯30

3.2模態邏輯30

3.3動態認知邏輯33

3.3.1認知邏輯概述33

3.3.2群體知識37

3.3.3公開宣告邏輯38

3.3.4認知行為43

3.3.5行為模型45

3.3.6非單調邏輯48

3.4時態認知邏輯49

3.4.1時態邏輯50

3.4.2時態認知邏輯概述51

3.5本章小結52

第二部分認知邏輯在密碼協議分析中的具體應用

第4章基於認知行為的密碼協議分析554.1密碼協議實例描述55

4.2協議中的消息表示56

4.3協議的邏輯語言56

4.4更新函數58

4.5協議分析59

4.6本章小結62

第5章基於行為模型的密碼協議驗證63

5.1協議的語言 A,BCryp63

5.1.1協議語言 A,BCryp的語法63

5.1.2協議語言 A,BCryp的語義64

5.2協議形式化65

5.2.1形式化密碼協議中的基本問題65

5.2.2形式化行為模型66

5.3協議分析67

5.4協議驗證69

5.4.1協議的目標模型69

5.4.2協議的驗證70

5.5本章小結71

第6章基於時態認知邏輯的密碼協議驗證72

6.1NeedhamSchroeder協議72

6.2協議語言73

6.2.1語法73

6.2.2語義73

6.3基於KL（n）的協議形式化74

6.4時態認知邏輯的推導規則76

6.5NeedhamSchroeder協議的屬性驗證78

6.6本章小結79

第7章基於動態認知邏輯的非單調密碼協議分析80

7.1寄存器模型81

7.2非單調性密碼協議語言   83

7.3非單調性密碼協議的實例86

7.4非單調性密碼協議的分析87

7.5本章小結91

參考文獻92

類似商品