电子商务网络协议的形式化分析理论与应用

图书标准信息

• 作者 谢晓尧 著
• 出版社 科学出版社
• 出版时间 2008-01
• 版次 1
• ISBN 9787030200327
• 定价 30.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 146页
• 字数 184千字
• 正文语种 简体中文
• 丛书 华夏英才基金学术文库

【内容简介】

《电子商务网络协议的形式化分析理论与应用》叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全认证和交易的基本协议，以及协议的有色Petri网模型及分析的软件工具CPNTools等。同时，《电子商务网络协议的形式化分析理论与应用》应用这些分析方法和工具具体分析了相关的认证和支付等协议。
《电子商务网络协议的形式化分析理论与应用》适合于高等院校计算机专业、电子商务专业高年级本科生和研究生阅读，也可供科研人员参考。

【目录】

序
前言
第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.1BAN逻辑
3.1.1BAN逻辑公式
3.1.2BAN逻辑的推理规则
3.1.3BAN逻辑的评价

3.2Kailar逻辑
3.2.1Kailar逻辑公式
3.2.2Kailar逻辑的推理规则

3.3NDL逻辑
3.3.1NDL逻辑的语法
3.3.2NDL逻辑的推理规则

3.4卿周逻辑
3.4.1卿周逻辑的语法
3.4.2卿周逻辑的推理规则

第4章电子商务协议的通用形式化Petri网模型分析方法
4.1Petri网概述
4.2Petri网的定义
4.3Petri网的应用实例
4.4Petri网的特性
4.4.1保守网
4.4.2有界网
4.4.3活动性
4.4.4并发与冲突

4.5Petri网的扩充
4.5.1输人函数和输出函数的扩充
4.5.2触发条件的扩充
4.5.3旗标和库所的扩充（着色Petri网）
4.6Petri网的替换与合成

4.7常用的Petri网模型
4.7.1库所／变迁网（P／T网）的形式化定义
4.7.2有色网的形式化定义
4.7.3常量弧有色网的形式化定义

4.8Petri网的分析
4.8.1常量弧网
4.8.2库所／变迁网（P／T网）
4.8.3有色网

第5章电子商务协议的形式化有穷自动机模型检测分析方法
5.1有穷自动机的定义
5.2传输通道类别
5.3通道DFA
5.4协议实体DFA
5.5DFA的简化
5.6DFA的合成

第6章基于电子商务安全认证和交易的基本协议
6.1安全认证的基本协议
6.1.1Needham-Schroeder认证协议
6.1.2Kerberos认证协议
6.1.3Otwag-Rees认证协议
6.2电子交易的基本协议
6.2.1网上交易协议遵循的原则
6.2.2IBS支付协议
6.2.3CMP1及CMP2非否认协议
……
第7章基于公钥基础设施PKI的安全认证协议
第8章基于工商管理的安全认证协议
第9章安全认证协议的Petri网模型
第10章支付协议的有穷自动机模型
第11章协议的有色Petri网模型及分析
参考文献