-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
密碼協議分析——基于認知邏輯 版權信息
- ISBN:9787302633389
- 條形碼:9787302633389 ; 978-7-302-63338-9
- 裝幀:精裝
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
密碼協議分析——基于認知邏輯 本書特色
本書介紹了基于認知邏輯的密碼協議分析,從密碼協議的邏輯分析講起,介紹密碼學基本知識、認知邏輯基礎理論到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議,以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性,主要是作者在本領域所做的工作。從內容的編排上由淺入深,適合各種層次的讀者參閱,希望對其他研究者有一定的參考價值,為密碼協議分析和網絡安全提供一定的理論與技術支撐。
本書可以作為高等院校計算機、網絡空間安全、通信以及邏輯學等專業高年級本科生和研究生學習參考,也可供相關專業的教師、科研人員或工程技術人員參考。
密碼協議分析——基于認知邏輯 內容簡介
本書介紹了基于認知邏輯的密碼協議分析。從密碼協議的邏輯分析講起,介紹密碼學的基礎知識、認知邏輯基礎理論,到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議,以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性。本書內容的編排由淺入深層層展開,適合各層次的讀者參閱,可為密碼協議分析和網絡安全提供一定的理論與技術支撐。 本書可供相關專業的教師、科研人員或工程技術人員參考,也可供高等院校計算機科學與技術、網絡空間安全、通信工程以及邏輯學等專業高年級本科生和研究生學習使用。
密碼協議分析——基于認知邏輯 目錄
第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.1NeedhamSchroeder協議72
6.2協議語言73
6.2.1語法73
6.2.2語義73
6.3基于KL(n)的協議形式化74
6.4時態認知邏輯的推導規則76
6.5NeedhamSchroeder協議的屬性驗證78
6.6本章小結79
第7章基于動態認知邏輯的非單調密碼協議分析80
7.1寄存器模型81
7.2非單調性密碼協議語言 83
7.3非單調性密碼協議的實例86
7.4非單調性密碼協議的分析87
7.5本章小結91
參考文獻92
- >
自卑與超越
- >
伊索寓言-世界文學名著典藏-全譯本
- >
【精裝繪本】畫給孩子的中國神話
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
苦雨齋序跋文-周作人自編集
- >
唐代進士錄
- >
月亮虎
- >
莉莉和章魚