国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網 請 | 注冊
> >>
密碼協議分析——基于認知邏輯

包郵 密碼協議分析——基于認知邏輯

出版社:清華大學出版社出版時間:2023-12-01
開本: 其他 頁數: 112
中 圖 價:¥69.3(7.0折) 定價  ¥99.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

密碼協議分析——基于認知邏輯 版權信息

密碼協議分析——基于認知邏輯 本書特色

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

密碼協議分析——基于認知邏輯 內容簡介

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

密碼協議分析——基于認知邏輯 目錄

**部分基 礎 知 識
第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
展開全部
商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 免费成人毛片 | 国产亚洲色视频在线 | 福利小视频在线 | 99色网站| 久久99精品久久久久久首页 | 午夜小视频免费观看 | 三级视频网站在线观看视频 | 九九在线观看免费视频 | 日本牲交大片免费观看 | 成年美女毛片黄网站色奶头大全 | 毛片一级| 无码色偷偷亚洲国内自拍 | 欧美成人毛片免费视频 | 69中文字幕| 狠狠色成人综合网图片区 | 天天天天天干 | 国产午夜片无码区在线播放 | 日本做受高潮好舒服视频 | 国产日韩欧美成人 | 成人黄色免费在线观看 | 精品国产人成在线 | 深夜福利视频在线看免费 | 亚洲久久在线观看 | 在线日韩国产 | 99久久精品免费看国产免费软件 | 国产区一区二区三 | 中文字幕av无码不卡免费 | 尤物视频在线观看入口 | 77777亚洲午夜久久多人 | 一级日本大片免费观看视频 | 青青草国产免费国产是公开 | 国产成人综合亚洲一区 | 免费无码午夜福利片69 | 日韩人妻精品无码一区二区三区 | 国产精品一区二区综合 | 四虎www成人影院免费观看 | 免费人成视频在线 | 欧美亚洲国产激情一区二区 | 日韩视频一区 | 久久精品成人 | 国产视频一区二区 |