《电子商务网络协议的形式化分析理论与应用》- 谢晓尧著 - 读书评论

正在读取登录信息...

图书详细信息推荐图书 | 最新书评

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

作者：谢晓尧著

出版社：科学出版社

出版日期：2009年01月

想读在读读过

内容简介

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

发表书评

本书标签

计算机/网络网络与数据通信电子商务电子政务

为此书添加标签：（多个标签用空格分隔）

图书购买信息

当当网（RMB 22.40）

请对此书作出评价

请您登录后为此书评分

目前还没有人对此书评分

同类图书推荐

新书快递

精准投资：管清友的投资思维课

作者：管清友

内容简介：投资是撬动人生的支点。

我们身处一个财富巨变的时代,选择永远比努力重要;