電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用

定　價(jià)：￥30.00

作　者：	謝曉堯著
出版社：	科學(xué)出版社
叢編項(xiàng)：	華夏英才基金學(xué)術(shù)文庫(kù)
標(biāo)　簽：	電子政務(wù)

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787030200327	出版時(shí)間：	2008-02-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	146	字?jǐn)?shù)：

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

　　《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》敘述了與信息安全有密切聯(lián)系的基于網(wǎng)絡(luò)電子商務(wù)協(xié)議的形式化分析理論方法與實(shí)際應(yīng)用。具體內(nèi)容包括：電子商務(wù)協(xié)議的形式化邏輯分析方法、通用形式化Petri網(wǎng)模型分析方法、有窮自動(dòng)機(jī)模型檢測(cè)分析方法、安全認(rèn)證和交易的基本協(xié)議，以及協(xié)議的有色Petri網(wǎng)模型及分析的軟件工具CPN Tools等。同時(shí)，《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》應(yīng)用這些分析方法和工具具體分析了相關(guān)的認(rèn)證和支付等協(xié)議?！峨娮由虅?wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》適合于高等院校計(jì)算機(jī)專(zhuān)業(yè)、電子商務(wù)專(zhuān)業(yè)高年級(jí)本科生和研究生閱讀，也可供科研人員參考。

作者簡(jiǎn)介

暫缺《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》作者簡(jiǎn)介

圖書(shū)目錄

序
前言
第1章　概論
1.1　信息安全的基本定義
1.2　網(wǎng)絡(luò)的安全問(wèn)題
1.3　網(wǎng)絡(luò)安全體系結(jié)構(gòu)
第2章　電子商務(wù)協(xié)議的形式化分析理論基礎(chǔ)
2.1　電子商務(wù)的定義
2.2　電子商務(wù)協(xié)議的安全性
2.2.1　電子商務(wù)協(xié)議的安全性
2.2.2　電子商務(wù)協(xié)議的設(shè)計(jì)原則
2.2.3　電子商務(wù)協(xié)議的安全分析
2.2.4　電子商務(wù)協(xié)議形式化分析方法分類(lèi)
第3章　電子商務(wù)協(xié)議的形式化邏輯分析方法
3.1　BAN邏輯
3.1.1　BAN邏輯公式
3.1.2　BAN邏輯的推理規(guī)則
3.1.3　BAN邏輯的評(píng)價(jià)
3.2　Kailar邏輯
3.2.1　Kailar邏輯公式
3.2.2　Kailar邏輯的推理規(guī)則
3.3　NDL邏輯
3.3.1　NDL邏輯的語(yǔ)法
3.3.2　NDL邏輯的推理規(guī)則
3.4　卿周邏輯
3.4.1　卿周邏輯的語(yǔ)法
3.4.2　卿周邏輯的推理規(guī)則
第4章電子商務(wù)協(xié)議的通用形式化Petri網(wǎng)模型分析方法
4.1　Petri網(wǎng)概述
4.2　Petri網(wǎng)的定義
4.3　Petri網(wǎng)的應(yīng)用實(shí)例
4.4　Petri網(wǎng)的特性
4.4.1　保守網(wǎng)
4.4.2　有界網(wǎng)
4.4.3　活動(dòng)性
4.4.4　并發(fā)與沖突
4.5　Petri網(wǎng)的擴(kuò)充
4.5.1　輸人函數(shù)和輸出函數(shù)的擴(kuò)充
4.5.2　觸發(fā)條件的擴(kuò)充
4.5.3　旗標(biāo)和庫(kù)所的擴(kuò)充（著色Petri網(wǎng)）
4.6　Petri網(wǎng)的替換與合成
4.7　常用的Petri網(wǎng)模型
4.7.1　庫(kù)所／變遷網(wǎng)（P／T網(wǎng)）的形式化定義
4.7.2　有色網(wǎng)的形式化定義
4.7.3　常量弧有色網(wǎng)的形式化定義
4.8　Petri網(wǎng)的分析
4.8.1　常量弧網(wǎng)
4.8.2　庫(kù)所／變遷網(wǎng)（P／T網(wǎng)）
4.8.3　有色網(wǎng)
第5章電子商務(wù)協(xié)議的形式化有窮自動(dòng)機(jī)模型檢測(cè)分析方法
5.1　有窮自動(dòng)機(jī)的定義
5.2　傳輸通道類(lèi)別
5.3　通道DFA
5.4　協(xié)議實(shí)體DFA
5.5　DFA的簡(jiǎn)化
5.6　DFA的合成
第6章　基于電子商務(wù)安全認(rèn)證和交易的基本協(xié)議
6.1　安全認(rèn)證的基本協(xié)議
6.1.1　Needham—Schroeder認(rèn)證協(xié)議
6.1.2　Kerberos認(rèn)證協(xié)議
6.1.3　Otwag—Rees認(rèn)證協(xié)議
6.2　電子交易的基本協(xié)議
6.2.1　網(wǎng)上交易協(xié)議遵循的原則
6.2.2　IBS支付協(xié)議
6.2.3　CMP1及CMP2非否認(rèn)協(xié)議
　　……
第7章　基于公鑰基礎(chǔ)設(shè)施PKI的安全認(rèn)證協(xié)議
第8章　基于工商管理的安全認(rèn)證協(xié)議
第9章　安全認(rèn)證協(xié)議的Petri網(wǎng)模型
第10章　支付協(xié)議的有窮自動(dòng)機(jī)模型
第11章　協(xié)議的有色Petri網(wǎng)模型及分析
參考文獻(xiàn)