(图片仅供参考)
查看付款方式 了解购物流程 |
电子商务网络协议的形式化分析理论与应用 |
| 编 号： 201478 |
| 著 作 者： 谢晓尧 著 |
| 出 版 社：
科学出版社
|
| 书 号： 9787030200327 |
| 出版日期： 2008-1-1 |
|
市 场 价： ￥30 元 |
| 书 店 价： ￥28.5 元 |
| 立即节省： ￥1.5 元 |
| 人 气： |
|
|
咨询电话：029-86698115
到款传真：029-82086768
其他支付方式
|
内容简介
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化
分析理论方法与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全认证和交易的基本协议，以及协议的有色Petri网模型及分析的软件工具CPN Tools等。同时，本书应用这些分析方法和工具具体分析了相关的认证和支付等协议。
本书适合于高等院校
计算机专业、电子商务专业高年级本科生和研究生阅读，也可供科研人员参考。
其他说明
版本：第一版 开本：B5
责任编辑：姚庆爽 字数：184千字
读者对象：本科以上文化程度 页数：146
书类：理论专著/应用技术 册/包：
编辑部： 工程技术出版分社
第一发货地
西安
相关书籍
在线免费呼叫