電子商務網路協定的形式化分析理論與套用

《電子商務網路協定的形式化分析理論與套用》是2008年科學出版社出版的圖書，作者是謝曉堯。

基本介紹

• 書名：電子商務網路協定的形式化分析理論與套用
• 作者：謝曉堯 
• ISBN：9787030200327
• 類別：圖書 > 計算機與網際網路 > 電子商務
• 出版社：科學出版社
• 出版時間：2008-01-01
• 裝幀：平裝
• 開本：16開
• 叢 書 名：華夏英才基金學術文庫
• 版次：1

內容簡介

《電子商務網路協定的形式化分析理論與套用》敘述了與信息安全有密切聯繫的基於網路電子商務協定的形式化分析理論方法與實際套用。具體內容包括：電子商務協定的形式化邏輯分析方法、通用形式化Petri網模型分析方法、有窮自動機模型檢測分析方法、安全認證和交易的基本協定，以及協定的有色Petri網模型及分析的軟體工具CPN Tools等。同時，《電子商務網路協定的形式化分析理論與套用》套用這些分析方法和工具具體分析了相關的認證和支付等協定。

目錄

序

前言

第1章　概論

1.1　信息安全的基本定義

1.2　網路的安全問題

1.3　網路安全體系結構

第2章　電子商務協定的形式化分析理論基礎

2.1　電子商務的定義

2.2　電子商務協定的安全性

2.2.1　電子商務協定的安全性

2.2.2　電子商務協定的設計原則

2.2.3　電子商務協定的安全分析

2.2.4　電子商務協定形式化分析方法分類

第3章　電子商務協定的形式化邏輯分析方法

3.1　BAN邏輯

3.1.1　BAN邏輯公式

3.1.2　BAN邏輯的推理規則

3.1.3　BAN邏輯的評價

3.2　Kailar邏輯

3.2.1　Kailar邏輯公式

3.2.2　Kailar邏輯的推理規則

3.3　NDL邏輯

3.3.1　NDL邏輯的語法

3.3.2　NDL邏輯的推理規則

3.4　卿周邏輯

3.4.1　卿周邏輯的語法

3.4.2　卿周邏輯的推理規則

第4章 電子商務協定的通用形式化Petri網模型分析方法

4.1　Petri網概述

4.2　Petri網的定義

4.3　Petri網的套用實例

4.4　Petri網的特性

4.4.1　保守網

4.4.2　有界網

4.4.3　活動性

4.4.4　並發與衝突

4.5　Petri網的擴充

4.5.1　輸人函式和輸出函式的擴充

4.5.2　觸發條件的擴充

4.5.3　旗標和庫所的擴充（著色Petri網）

4.6　Petri網的替換與合成

4.7　常用的Petri網模型

4.7.1　庫所/變遷網（P/T網）的形式化定義

4.7.2　有色網的形式化定義

4.7.3　常量弧有色網的形式化定義

4.8　Petri網的分析

4.8.1　常量弧網

4.8.2　庫所/變遷網（P/T網）

4.8.3　有色網

第5章 電子商務協定的形式化有窮自動機模型檢測分析方法

5.1　有窮自動機的定義

5.2　傳輸通道類別

5.3　通道DFA

5.4　協定實體DFA

5.5　DFA的簡化

5.6　DFA的合成

第6章　基於電子商務安全認證和交易的基本協定

6.1　安全認證的基本協定

6.1.1　Needham-Schroeder認證協定

6.1.2　Kerberos認證協定

6.1.3　Otwag-Rees認證協定

6.2　電子交易的基本協定

6.2.1　網上交易協定遵循的原則

6.2.2　IBS支付協定

6.2.3　CMP1及CMP2非否認協定

……

第7章　基於公鑰基礎設施PKI的安全認證協定

第8章　基於工商管理的安全認證協定

第9章　安全認證協定的Petri網模型

第10章　支付協定的有窮自動機模型

第11章　協定的有色Petri網模型及分析

參考文獻