注冊(cè) | 登錄讀書(shū)好，好讀書(shū)，讀好書(shū)！
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置： 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)計(jì)算機(jī)科學(xué)理論與基礎(chǔ)知識(shí)密碼協(xié)議形式化分析

密碼協(xié)議形式化分析

密碼協(xié)議形式化分析

定　價(jià)：￥29.00

作　者： 王亞弟、束妮娜、韓繼紅、王娜
出版社： 機(jī)械工業(yè)出版社
叢編項(xiàng)： 高等院校信息安全專(zhuān)業(yè)規(guī)劃教材
標(biāo)　簽： 密碼學(xué)
ISBN： 9787111192299 出版時(shí)間： 2006-07-01 包裝： 平裝
開(kāi)本： 16開(kāi) 頁(yè)數(shù)： 251 字?jǐn)?shù)：  

內(nèi)容簡(jiǎn)介

　　本書(shū)對(duì)現(xiàn)在國(guó)內(nèi)外最新的密碼協(xié)議形成化分析方法與設(shè)計(jì)準(zhǔn)則進(jìn)行了比較詳細(xì)的論述，建立了完整而系統(tǒng)密碼協(xié)議研究理論，并介紹了當(dāng)前最為流行的幾個(gè)協(xié)議的實(shí)現(xiàn)方法。全書(shū)共8章，分別介紹了密碼協(xié)議所涉及的密碼學(xué)基礎(chǔ)知識(shí)，密碼協(xié)議的概念、缺陷與可能受到的攻擊類(lèi)型，現(xiàn)有的一些密碼協(xié)議形式化分析方法，密碼協(xié)議的設(shè)計(jì)準(zhǔn)則，密碼協(xié)議分析的主要形式化語(yǔ)言和分析工具，Kerberos協(xié)議、IPSee協(xié)議、SSL協(xié)議、X.509以及SET協(xié)議這五個(gè)密碼協(xié)議的實(shí)現(xiàn)方法和工作原理。本書(shū)適合作為高等院校信息安全專(zhuān)業(yè)本科生、研究生使用，也可供從事信息安全研究的科技人員參考。書(shū)的最后附有相關(guān)的參考文獻(xiàn)，提供了與本書(shū)有關(guān)的資料，供有興趣的讀者參考。

作者簡(jiǎn)介

暫缺《密碼協(xié)議形式化分析》作者簡(jiǎn)介

圖書(shū)目錄

出版說(shuō)明
序
前言
第1章 引論
1.1 密碼體制
1.2 數(shù)字簽名
1.3 Hash函數(shù)
1.4 密鑰管理
1.5 PKI公鑰基礎(chǔ)設(shè)施
1.6 本章小結(jié)
1.7 習(xí)題
第2章 密碼協(xié)議概述
2.1 引言
2.2 密碼協(xié)議基本概念
2.3 密碼協(xié)議的缺陷及所受到的攻擊實(shí)例
2.4 密碼協(xié)議的設(shè)計(jì)與分析
2.5 密碼協(xié)議形式化分析的研究與進(jìn)展
2.6 本章小結(jié)
2.7 習(xí)題
第3章 形式邏輯方法
3.1 BAN邏輯
3.2 擴(kuò)展的BAN邏輯
3.3 BAN類(lèi)邏輯現(xiàn)狀
3.4 Kailar邏輯
3.5 本章小結(jié)
3.6 習(xí)題
第4章 模型檢測(cè)方法
4.1 引言
4.2 模型檢測(cè)技術(shù)分析密碼協(xié)議的方法和結(jié)果
4.3 CSP及FDR模型檢測(cè)技術(shù)
……
第5章 定理證明方法
第6章 密碼協(xié)議的設(shè)計(jì)準(zhǔn)則
第7章 密碼協(xié)議分析主要的形式化語(yǔ)言和分析工具
第8章 幾個(gè)具體密碼協(xié)議的實(shí)現(xiàn)方法和工作原理
參考文獻(xiàn)

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) www.autoforsalebyowners.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)