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

內(nèi)容概要

本書敘述了與信息安全有密切聯(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í)，本書應(yīng)用這些分析方法和工具具體分析了相關(guān)的認(rèn)證和支付等協(xié)議。    本書適合于高等院校計(jì)算機(jī)專業(yè)、電子商務(wù)專業(yè)高年級(jí)本科生和研究生閱讀，也可供科研人員參考。

書籍目錄

序前言第1章　概論  1.1　信息安全的基本定義  1.2　網(wǎng)絡(luò)的安全問題  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é)議形式化分析方法分類第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　傳輸通道類別  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)

編輯推薦

《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》由科學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

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

---

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

---