本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用，具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全认证和交易的基本协议，以及协议的有色Petri网模型及分析的软件工具CP-Tools。同时，本书应用这些分析方法和工具具体分析了相关的认证和支付等协议。

📙 相关书籍

  1. 《电子商务网络技术》高清PDF 《电子商务网络技术》是为了满足中等职业学校电子商务专业教学需要而编写的教材，是电子商务专业的基础课程。根据中职中专教育的培养目标、特点和要求，全面系统地介绍了计算机网络的基本知识和基本技能。本书语言简洁，结构合理，深入浅出，循序渐进。每章后都附有思考与练习，以帮助读者学习和理解。...
  2. 《电子商务网络基础项目化教程》高清PDF 本书以电子商务专业实际应用的计算机网络基础技术为主线，遵循计算机网络技术知识结构的基本特点和教学规律，主要内容以项目化形式编写……...
  3. 《电子商务网络技术》高清PDF 本书根据中小企业网络建设的实际，介绍了计算机网络概述、网络地址规划、局域网技术、网络互联、WindowsXP网络设置与应用、网络安全技术、网络安全管理等。《电子商务网络技术》既注意计算机网络理论和知识的介绍，也注意计算机网络实用技术的讲解，更注重学习者实际网络建设、管理和维护能力的培养。通过本书的学......
  4. 《电子商务网络技术》高清PDF 本书根据高职高专教育的培养目标、特点和要求，全面系统地介绍了计算机网络的基本知识、基本技能和应用案例。本书语言简洁，结构合理，各章按照案例导入、问题提出、理论讲解、案例分析的总体思路编写，深入浅出、循序渐进。每章后都附有习题和实训练习，以帮助读者学习和理解。...
  5. 《中等职业教育电子商务专业课程改革规划新教材 电子商务网络技术》高清PDF 本书以网络组建和网上购物技术为主线，按照项目化的要求编写设计了初识网络基本技术、学会Internet连接方法、应用交换机技术、应用路由器技术、设置网络安全、制作商品图片、浏览网上商务信息、学会网上购物技术八个项目；每个项目又设计了项目概要、项目目标、项目准备、若干任务、项目拓展训练五个环节；其中每个......
  6. 《飞天开放平台编程指南 阿里云计算的实践 双色》高清PDF 阿里云是2009年成立的阿里巴巴旗下子公司，近期也与我社开展图书合作。阿里云计算可以将阿里系各个平台上的商品信息、信誉体系、支付工具、IM用户资源挖掘提炼，有巨大的商业价值。王涛称，阿里软件会筹建多个类似的“电子商务云计算中心”。他认为，5年后中国在线软件服务市场规模将超过传统软件市场，SaaS服务......
  7. 《电子商务网络实施技术》高清PDF ...
  8. 《精通PKI 网络安全认证技术与编程实现》高清PDF PKI是解决开放式互联网络信息安全需求的成熟体系。PKI体系支持身份认证，信息传输、存储的完整性，消息传输、存储的机密性，以及操作的不可否认性。本书从实战出发，介绍了PKI应用开发过程和细节。全书共32章，分6篇，主要内容包括PKI基础知识、OpenSSL开发、CrytoAPI开发、Java Sec......
  9. 《电子商务网络技术基础》高清PDF ...
  10. 《电子商务网络技术基础》高清PDF 本书根据电子商务专业的教学要求和学生实际而编写，全书共分7章，内容包括计算机网络概述、数据通信基础、计算机网络体系结构等，编者在书中安排了相关的电子商务案例，并配有习题和电子教案。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。