安全協(xié)議的建模與分析

出版時(shí)間:2005-1  出版社:機(jī)械工業(yè)出版社  作者:[英] Peter Rya  頁(yè)數(shù):235  字?jǐn)?shù):381000  
Tag標(biāo)簽:無(wú)  

內(nèi)容概要

本書(shū)主要介紹了安全協(xié)議的一種建模與分析方法:CSP(Communica-ting Sequential Processes,通信順序進(jìn)程)方法。本書(shū)共有11章和3個(gè)附錄,主要內(nèi)容包括:安全協(xié)議概述、CSP方法介紹、安全協(xié)議的CSP建模方法、協(xié)議目標(biāo)描述、FDR概述、Casper介紹、為FDR進(jìn)行協(xié)議和入侵者編碼、分析結(jié)果的定理證明、協(xié)議的簡(jiǎn)化轉(zhuǎn)換、其他的安全協(xié)議分析方法以及安全協(xié)議分析所存在的問(wèn)題與發(fā)展趨勢(shì)。附錄包括:密碼學(xué)背景知識(shí)、具體實(shí)例及第8章的詳細(xì)證明過(guò)程。     本書(shū)可作為高等院校信息安全、計(jì)算機(jī)、通信等專(zhuān)業(yè)的教學(xué)參考書(shū),也可供從事相關(guān)專(zhuān)業(yè)的教學(xué)、科研和工程技術(shù)人員參考。

書(shū)籍目錄

譯者序原書(shū)序第0章  緒論  0.1  安全協(xié)議  0.2  安全特性  0.3  密碼學(xué)  0.4  分鑰證書(shū)與基礎(chǔ)設(shè)施  0.5  加密模式  0.6  密碼學(xué)中的哈希函數(shù)  0.7  數(shù)字簽名  0.8  安全協(xié)議的脆弱性  0.9  CSP方法  0.10  Casper:FDR的用戶好界面  0.11  形式化分析的局限  0.12  小結(jié)第1章  CSP介紹  1.1  基本模塊  1.2  并行運(yùn)算符  1.3  隱藏與重命名  1.4  更多的運(yùn)算符  1.5  過(guò)程行為  1.6  離散時(shí)間第2章  使用CSP對(duì)安全協(xié)議建模  2.1  可信賴(lài)的過(guò)程  2.2  協(xié)議模型的數(shù)據(jù)類(lèi)型  2.3  入侵者建模  2.4  并歸網(wǎng)絡(luò)第3章  表達(dá)協(xié)議目的  3.1  Yahalom協(xié)議  3.2  保密性  3.3  認(rèn)證  3.4  不可否認(rèn)  3.5  匿名  3.6  小結(jié)第4章  FDR概述  4.1  比例過(guò)程  4.2  標(biāo)淮轉(zhuǎn)換系統(tǒng)  4.3  開(kāi)發(fā)成分結(jié)構(gòu)  4.4  反例第5章  Casper  5.1  一個(gè)輸入什么文件的例子  5.2  符號(hào)%  5.3  實(shí)例研究:大嘴青蛙協(xié)議  5.4  協(xié)議技術(shù)說(shuō)明  5.5  哈希函數(shù)與Vernam加密  5.6  小結(jié)……第6章  為FDR編碼協(xié)議和入侵者第7章  定理證明第8章  簡(jiǎn)化轉(zhuǎn)換第9章  其他方法第10章  發(fā)展趨勢(shì)及更多的問(wèn)題附錄A  密碼學(xué)背景知識(shí)附錄B  Yahalom協(xié)議的Casper表示附錄C  CyberCash階函數(shù)分析參考文獻(xiàn)符號(hào)列表專(zhuān)業(yè)詞匯英語(yǔ)中對(duì)照表

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載


    安全協(xié)議的建模與分析 PDF格式下載


用戶評(píng)論 (總計(jì)1條)

 
 

  •   感覺(jué)讀了幾遍還是沒(méi)摸到門(mén)。太抽象了,一點(diǎn)也不詳細(xì)
 

250萬(wàn)本中文圖書(shū)簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書(shū)網(wǎng) 手機(jī)版

京ICP備13047387號(hào)-7