论文部分内容阅读
电子商务协议是实施电子商务的技术基础,电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术.电子商务协议的设计是容易出错而又难以发现的.因此在不同环境下如何设计正确的电子商务协议和如何用形式的方法分析电子商务协议是一个值得研究的课题.该文从分析和设计的角度对电子商务协议进行了研究.
电子商务协议的形式分析与设计
【摘 要】
：
电子商务协议是实施电子商务的技术基础,电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术.电子商务协议的设计是容易出错而又难以发现的.因此在不同环境
【机 构】
：
西安电子科技大学
【出 处】
：
西安电子科技大学
【发表日期】
：
2002年期
其他文献
无线目标安全识别协议广泛应用于现代战争中的目标识别系统。由于存在数据传输差错，异步窜扰和混扰，早期的安全识别协议可靠性，安全性均受到影响。本文的研究背景是基于二次雷达
我局“职工教育研究会、继续工程教育协会”自首届年会以来,在江西省地矿局和上级职工教育研究部门的正确领导和关心支持下,经过广大会员、地质职工教育工作者的共同努力,在
初中英语课有效教学的关键要素是,激发学生主动学习英语的热情,诱发学生的创新思维。本文运用建构主义学习理论,侧重阐述创设英语学习环境,激发学生学习兴趣、毅力,学会模仿
本文对信息隐匿技术(Steganography)进行了研究。对信息隐匿的基本概念、研究背景与现状进行了介绍；对隐匿技术的常用术语进行了定义，给出了隐匿技术系统的一个具体分类；针对隐
随着分子医学进展和靶向药物的不断涌现,晚期非小细胞肺癌(NSCLC)的治疗已进入到个体化时代。表皮生长因子受体(EGFR)是东亚裔腺癌的主要驱动基因,发生率高达60.5%,ROSl是另
针对某矿井提升机监控系统中,WinCC数据归档周期不能满足系统实时性要求的问题,提出了一种构建动态时间序列数据库存储系统和基于ActiveEXE多线程技术的PLC高速数据采集的方
由于跳频通信具有独特的抗干扰性、低捕获性和易组网的特征,所以它广泛应用于军事通信领域中。在通信对抗中如何有效的干扰跳频通信已经成为目前研究的热点问题。在对跳频电
如何让人们能够随时、随地访问Internet，是当前Internet技术研究的一个热点，也是下一代真正的个人通信技术的目标。无线接入中的移动IP技术使得人们一直梦想的无处不在的多媒体
该论文主要研究了基于离散对数的ElGamal型数字签名方案的安全性关系和它们的一些应用.作者取得的主要研究成果如下:(1)对Nyberg等人提出的强等价进行了推广,提出一个新的概