论文部分内容阅读
电子商务协议是实施电子商务的技术基础,电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术.电子商务协议的设计是容易出错而又难以发现的.因此在不同环境下如何设计正确的电子商务协议和如何用形式的方法分析电子商务协议是一个值得研究的课题.该文从分析和设计的角度对电子商务协议进行了研究.
电子商务协议的形式分析与设计
【摘 要】
：
电子商务协议是实施电子商务的技术基础,电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术.电子商务协议的设计是容易出错而又难以发现的.因此在不同环境
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学
【发表日期】
：
2002年期
其他文献
无线目标安全识别协议广泛应用于现代战争中的目标识别系统。由于存在数据传输差错，异步窜扰和混扰，早期的安全识别协议可靠性，安全性均受到影响。本文的研究背景是基于二次雷达
本文对信息隐匿技术(Steganography)进行了研究。对信息隐匿的基本概念、研究背景与现状进行了介绍；对隐匿技术的常用术语进行了定义，给出了隐匿技术系统的一个具体分类；针对隐
由于跳频通信具有独特的抗干扰性、低捕获性和易组网的特征,所以它广泛应用于军事通信领域中。在通信对抗中如何有效的干扰跳频通信已经成为目前研究的热点问题。在对跳频电
如何让人们能够随时、随地访问Internet，是当前Internet技术研究的一个热点，也是下一代真正的个人通信技术的目标。无线接入中的移动IP技术使得人们一直梦想的无处不在的多媒体