掃一掃
關注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
密碼協(xié)議分析——基于認知邏輯 版權信息
- ISBN：9787302633389
- 條形碼：9787302633389 ; 978-7-302-63338-9
- 裝幀：精裝
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
密碼協(xié)議分析——基于認知邏輯 本書特色
本書介紹了基于認知邏輯的密碼協(xié)議分析，從密碼協(xié)議的邏輯分析講起，介紹密碼學基本知識、認知邏輯基礎理論到用認知中的行為、行為模型以及時態(tài)認知邏輯分析具體的密碼協(xié)議，以具體實例闡述了用動態(tài)認知邏輯的理論來分析密碼協(xié)議的安全性，主要是作者在本領域所做的工作。從內(nèi)容的編排上由淺入深，適合各種層次的讀者參閱，希望對其他研究者有一定的參考價值，為密碼協(xié)議分析和網(wǎng)絡安全提供一定的理論與技術支撐。
本書可以作為高等院校計算機、網(wǎng)絡空間安全、通信以及邏輯學等專業(yè)高年級本科生和研究生學習參考，也可供相關專業(yè)的教師、科研人員或工程技術人員參考。
密碼協(xié)議分析——基于認知邏輯 內(nèi)容簡介
本書介紹了基于認知邏輯的密碼協(xié)議分析。從密碼協(xié)議的邏輯分析講起，介紹密碼學的基礎知識、認知邏輯基礎理論,到用認知中的行為、行為模型以及時態(tài)認知邏輯分析具體的密碼協(xié)議，以具體實例闡述了用動態(tài)認知邏輯的理論來分析密碼協(xié)議的安全性。本書內(nèi)容的編排由淺入深層層展開，適合各層次的讀者參閱，可為密碼協(xié)議分析和網(wǎng)絡安全提供一定的理論與技術支撐。 本書可供相關專業(yè)的教師、科研人員或工程技術人員參考，也可供高等院校計算機科學與技術、網(wǎng)絡空間安全、通信工程以及邏輯學等專業(yè)高年級本科生和研究生學習使用。
密碼協(xié)議分析——基于認知邏輯 目錄
**部分基 礎 知 識
第1章密碼協(xié)議的邏輯分析概述31.1引言3
1.2邏輯分析方法概覽3
1.3本書的結構6
第2章密碼與密碼協(xié)議8
2.1密碼學發(fā)展史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加密方案與密碼協(xié)議24
2.5密碼協(xié)議的分類26
2.6對密碼協(xié)議常見的幾種攻擊26
2.7本章小結28
第3章認知邏輯理論29
3.1命題邏輯30
3.2模態(tài)邏輯30
3.3動態(tài)認知邏輯33
3.3.1認知邏輯概述33
3.3.2群體知識37
3.3.3公開宣告邏輯38
3.3.4認知行為43
3.3.5行為模型45
3.3.6非單調(diào)邏輯48
3.4時態(tài)認知邏輯49
3.4.1時態(tài)邏輯50
3.4.2時態(tài)認知邏輯概述51
3.5本章小結52
第二部分認知邏輯在密碼協(xié)議分析中的具體應用
第4章基于認知行為的密碼協(xié)議分析554.1密碼協(xié)議實例描述55
4.2協(xié)議中的消息表示56
4.3協(xié)議的邏輯語言56
4.4更新函數(shù)58
4.5協(xié)議分析59
4.6本章小結62
第5章基于行為模型的密碼協(xié)議驗證63
5.1協(xié)議的語言 A,BCryp63
5.1.1協(xié)議語言 A,BCryp的語法63
5.1.2協(xié)議語言 A,BCryp的語義64
5.2協(xié)議形式化65
5.2.1形式化密碼協(xié)議中的基本問題65
5.2.2形式化行為模型66
5.3協(xié)議分析67
5.4協(xié)議驗證69
5.4.1協(xié)議的目標模型69
5.4.2協(xié)議的驗證70
5.5本章小結71
第6章基于時態(tài)認知邏輯的密碼協(xié)議驗證72
6.1NeedhamSchroeder協(xié)議72
6.2協(xié)議語言73
6.2.1語法73
6.2.2語義73
6.3基于KL（n）的協(xié)議形式化74
6.4時態(tài)認知邏輯的推導規(guī)則76
6.5NeedhamSchroeder協(xié)議的屬性驗證78
6.6本章小結79
第7章基于動態(tài)認知邏輯的非單調(diào)密碼協(xié)議分析80
7.1寄存器模型81
7.2非單調(diào)性密碼協(xié)議語言 83
7.3非單調(diào)性密碼協(xié)議的實例86
7.4非單調(diào)性密碼協(xié)議的分析87
7.5本章小結91
參考文獻92
第1章密碼協(xié)議的邏輯分析概述31.1引言3
1.2邏輯分析方法概覽3
1.3本書的結構6
第2章密碼與密碼協(xié)議8
2.1密碼學發(fā)展史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加密方案與密碼協(xié)議24
2.5密碼協(xié)議的分類26
2.6對密碼協(xié)議常見的幾種攻擊26
2.7本章小結28
第3章認知邏輯理論29
3.1命題邏輯30
3.2模態(tài)邏輯30
3.3動態(tài)認知邏輯33
3.3.1認知邏輯概述33
3.3.2群體知識37
3.3.3公開宣告邏輯38
3.3.4認知行為43
3.3.5行為模型45
3.3.6非單調(diào)邏輯48
3.4時態(tài)認知邏輯49
3.4.1時態(tài)邏輯50
3.4.2時態(tài)認知邏輯概述51
3.5本章小結52
第二部分認知邏輯在密碼協(xié)議分析中的具體應用
第4章基于認知行為的密碼協(xié)議分析554.1密碼協(xié)議實例描述55
4.2協(xié)議中的消息表示56
4.3協(xié)議的邏輯語言56
4.4更新函數(shù)58
4.5協(xié)議分析59
4.6本章小結62
第5章基于行為模型的密碼協(xié)議驗證63
5.1協(xié)議的語言 A,BCryp63
5.1.1協(xié)議語言 A,BCryp的語法63
5.1.2協(xié)議語言 A,BCryp的語義64
5.2協(xié)議形式化65
5.2.1形式化密碼協(xié)議中的基本問題65
5.2.2形式化行為模型66
5.3協(xié)議分析67
5.4協(xié)議驗證69
5.4.1協(xié)議的目標模型69
5.4.2協(xié)議的驗證70
5.5本章小結71
第6章基于時態(tài)認知邏輯的密碼協(xié)議驗證72
6.1NeedhamSchroeder協(xié)議72
6.2協(xié)議語言73
6.2.1語法73
6.2.2語義73
6.3基于KL（n）的協(xié)議形式化74
6.4時態(tài)認知邏輯的推導規(guī)則76
6.5NeedhamSchroeder協(xié)議的屬性驗證78
6.6本章小結79
第7章基于動態(tài)認知邏輯的非單調(diào)密碼協(xié)議分析80
7.1寄存器模型81
7.2非單調(diào)性密碼協(xié)議語言 83
7.3非單調(diào)性密碼協(xié)議的實例86
7.4非單調(diào)性密碼協(xié)議的分析87
7.5本章小結91
參考文獻92
展開全部
書友推薦
- >
中國歷史的瞬間
- >
名家?guī)阕x魯迅:故事新編
- >
【精裝繪本】畫給孩子的中國神話
- >
山海經(jīng)
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
月亮與六便士
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
本類暢銷
