|
题名:
|
电子商务网络协议的形式化分析理论与应用 / 谢晓尧著 , |
|
ISBN:
|
978-7-03-020032-7 价格： CNY30.00 |
|
语种:
|
chi |
|
载体形态:
|
146页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2008.01 |
|
内容提要:
|
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用，具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全认证和交易的基本协议，以及协议的有色Petri网模型及分析的软件工具CPN Tools等。 |
|
主题词:
|
电子商务 计算机网络 |
|
主题词:
|
电子商务 |
|
主题词:
|
计算机网络 |
|
主题词:
|
通信协议 |
|
中图分类法:
|
F713.36 版次： 4 |
|
主要责任者:
|
谢晓尧 著 |