点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,计算机/网络,网络与数据通信,电子商务 电子政务,

作者： 谢晓尧 著

出 版 社： 科学出版社

出版时间：字数： 184000版次： 1页数： 146印刷时间： 2008/01/01开本：印次：纸张： 胶版纸I S B N ： 9787030200327包装： 平装内容简介

本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化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.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网模型及分析

参考文献

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。