歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)

密碼協(xié)議分析——基于認(rèn)知邏輯

出版社：清華大學(xué)出版社出版時(shí)間：2023-12-01
開(kāi)本： 其他 頁(yè)數(shù)： 112
中 圖 價(jià):¥69.3(7.0折) 定價(jià)  ¥99.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車(chē) 收藏
運(yùn)費(fèi)6元，滿(mǎn)39元免運(yùn)費(fèi)
?新疆、西藏除外
本類(lèi)五星書(shū)更多>

密碼協(xié)議分析——基于認(rèn)知邏輯 版權(quán)信息

密碼協(xié)議分析——基于認(rèn)知邏輯 本書(shū)特色

本書(shū)介紹了基于認(rèn)知邏輯的密碼協(xié)議分析，從密碼協(xié)議的邏輯分析講起，介紹密碼學(xué)基本知識(shí)、認(rèn)知邏輯基礎(chǔ)理論到用認(rèn)知中的行為、行為模型以及時(shí)態(tài)認(rèn)知邏輯分析具體的密碼協(xié)議，以具體實(shí)例闡述了用動(dòng)態(tài)認(rèn)知邏輯的理論來(lái)分析密碼協(xié)議的安全性，主要是作者在本領(lǐng)域所做的工作。從內(nèi)容的編排上由淺入深，適合各種層次的讀者參閱，希望對(duì)其他研究者有一定的參考價(jià)值，為密碼協(xié)議分析和網(wǎng)絡(luò)安全提供一定的理論與技術(shù)支撐。
本書(shū)可以作為高等院校計(jì)算機(jī)、網(wǎng)絡(luò)空間安全、通信以及邏輯學(xué)等專(zhuān)業(yè)高年級(jí)本科生和研究生學(xué)習(xí)參考，也可供相關(guān)專(zhuān)業(yè)的教師、科研人員或工程技術(shù)人員參考。

密碼協(xié)議分析——基于認(rèn)知邏輯 內(nèi)容簡(jiǎn)介

本書(shū)介紹了基于認(rèn)知邏輯的密碼協(xié)議分析。從密碼協(xié)議的邏輯分析講起，介紹密碼學(xué)的基礎(chǔ)知識(shí)、認(rèn)知邏輯基礎(chǔ)理論,到用認(rèn)知中的行為、行為模型以及時(shí)態(tài)認(rèn)知邏輯分析具體的密碼協(xié)議，以具體實(shí)例闡述了用動(dòng)態(tài)認(rèn)知邏輯的理論來(lái)分析密碼協(xié)議的安全性。本書(shū)內(nèi)容的編排由淺入深層層展開(kāi)，適合各層次的讀者參閱，可為密碼協(xié)議分析和網(wǎng)絡(luò)安全提供一定的理論與技術(shù)支撐。 本書(shū)可供相關(guān)專(zhuān)業(yè)的教師、科研人員或工程技術(shù)人員參考，也可供高等院校計(jì)算機(jī)科學(xué)與技術(shù)、網(wǎng)絡(luò)空間安全、通信工程以及邏輯學(xué)等專(zhuān)業(yè)高年級(jí)本科生和研究生學(xué)習(xí)使用。

密碼協(xié)議分析——基于認(rèn)知邏輯 目錄

**部分基 礎(chǔ) 知 識(shí)
第1章密碼協(xié)議的邏輯分析概述31.1引言3
1.2邏輯分析方法概覽3
1.3本書(shū)的結(jié)構(gòu)6
第2章密碼與密碼協(xié)議8
2.1密碼學(xué)發(fā)展史8
2.2對(duì)稱(chēng)加密10
2.2.1對(duì)稱(chēng)加密概念10
2.2.2DES算法11
2.2.3DES的安全性17
2.3非對(duì)稱(chēng)加密18
2.3.1公鑰加密概念18
2.3.2RSA公鑰密碼19
2.3.3ElGamal公鑰密碼22
2.4加密方案與密碼協(xié)議24
2.5密碼協(xié)議的分類(lèi)26
2.6對(duì)密碼協(xié)議常見(jiàn)的幾種攻擊26
2.7本章小結(jié)28
第3章認(rèn)知邏輯理論29
3.1命題邏輯30
3.2模態(tài)邏輯30
3.3動(dòng)態(tài)認(rèn)知邏輯33
3.3.1認(rèn)知邏輯概述33
3.3.2群體知識(shí)37
3.3.3公開(kāi)宣告邏輯38
3.3.4認(rèn)知行為43
3.3.5行為模型45
3.3.6非單調(diào)邏輯48
3.4時(shí)態(tài)認(rèn)知邏輯49
3.4.1時(shí)態(tài)邏輯50
3.4.2時(shí)態(tài)認(rèn)知邏輯概述51
3.5本章小結(jié)52
第二部分認(rèn)知邏輯在密碼協(xié)議分析中的具體應(yīng)用
第4章基于認(rèn)知行為的密碼協(xié)議分析554.1密碼協(xié)議實(shí)例描述55
4.2協(xié)議中的消息表示56
4.3協(xié)議的邏輯語(yǔ)言56
4.4更新函數(shù)58
4.5協(xié)議分析59
4.6本章小結(jié)62
第5章基于行為模型的密碼協(xié)議驗(yàn)證63
5.1協(xié)議的語(yǔ)言 A,BCryp63
5.1.1協(xié)議語(yǔ)言 A,BCryp的語(yǔ)法63
5.1.2協(xié)議語(yǔ)言 A,BCryp的語(yǔ)義64
5.2協(xié)議形式化65
5.2.1形式化密碼協(xié)議中的基本問(wèn)題65
5.2.2形式化行為模型66
5.3協(xié)議分析67
5.4協(xié)議驗(yàn)證69
5.4.1協(xié)議的目標(biāo)模型69
5.4.2協(xié)議的驗(yàn)證70
5.5本章小結(jié)71
第6章基于時(shí)態(tài)認(rèn)知邏輯的密碼協(xié)議驗(yàn)證72
6.1NeedhamSchroeder協(xié)議72
6.2協(xié)議語(yǔ)言73
6.2.1語(yǔ)法73
6.2.2語(yǔ)義73
6.3基于KL（n）的協(xié)議形式化74
6.4時(shí)態(tài)認(rèn)知邏輯的推導(dǎo)規(guī)則76
6.5NeedhamSchroeder協(xié)議的屬性驗(yàn)證78
6.6本章小結(jié)79
第7章基于動(dòng)態(tài)認(rèn)知邏輯的非單調(diào)密碼協(xié)議分析80
7.1寄存器模型81
7.2非單調(diào)性密碼協(xié)議語(yǔ)言 83
7.3非單調(diào)性密碼協(xié)議的實(shí)例86
7.4非單調(diào)性密碼協(xié)議的分析87
7.5本章小結(jié)91
參考文獻(xiàn)92
展開(kāi)全部
暫無(wú)評(píng)論……
書(shū)友推薦
返回頂部
中圖網(wǎng)
在線(xiàn)客服