【摘 要】
：
电子商务的普及与接受主要取决于下述属性的解决：安全、原子、隐私与匿名，形式化描述和分析是描述电子商务协议并验证它各性的有效方法，面向物理商品交易的电子商务协议需要具备
论文部分内容阅读
电子商务的普及与接受主要取决于下述属性的解决：安全、原子、隐私与匿名，形式化描述和分析是描述电子商务协议并验证它各性的有效方法，面向物理商品交易的电子商务协议需要具备３个属性：安全、原子和隐私，介绍了一个安全、可靠的电子商务协议ＢＥＡＲＣＡＴ及其形式化描述，并龙有人侵者的情况下，通过用ＢＡＮ类型的逻辑证明所期望的属性的方式对协议的强度和正确性作形式化分析。
其他文献
提出一种对Ｃ＋＋进行并发扩充的语言ＣｏｎＣ＋＋．ＣｏｎＣ＋＋是一个并发面向对象语言，它采用并发类和保护类的机制支持并发，并发类有一个主动函数，一旦对象被创建，这个主动函数就开始执行；保护类封装了一组数据
排序是计算机中最常见的操作之一.双调排序是一个非常著名的排序算法,也是最早的并行排序算法,双调排序对排序算法的研究具有非常深远的影响.基于双调排序算法的基本思想,介
所谓教案补遗就是通过教学实践,及时对教案加以补充和修正,使原来的教案得到充实和修改,逐步趋于完善,促进教学过程趋于最优化。教案补遗具有较高的实用价值,特别适宜于体育
教研室工作如何以“研”字制定目标,以“研”字实施管理,以“研”字检测效果,是一个具有现实意义的课题。无论从教研室的职能上说,还是从目前的现状上看,教研室工作都应该在
教学改革的目的是为了提高教学质量,而提高教师素质则是提高教学质量的前提.临床见习课是临床教学的重要环节,见习课无固定教材,见习的对象为不同的病人,这无疑给见习课的教
一1963年2月，不满19岁的我写下短篇小说《第二次握手》。我发现她受到人们的喜爱，手稿往往流传出去无法收回，便一遍又一遍地写，由短篇渐成中篇。这部小说赞美知识分子，鼓吹科学技
计算机系统的各种存储部件，包括寄存器、cache、内存、外存，被组织成一个层次性的存储结构，传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型：进程逻辑空
1.瞒天过海crossing the sea under camouflage 2.围魏救赵relieving the state of Zhao by besieging the state of Wei 3.借刀杀人killing someone with a borrowed
个性孤傲，不与权势者合作1946年春，避居川中著书授徒多年的熊十力返回湖北老家，借住在汉口王孟荪先生家中。此时蒋介石正欲乘船还都南京，途经武汉，得知熊十力在汉口，便差人去请，想当
贸易、就业与工资［美］保罗·Ｒ·科鲁格曼任春田译罗伯特·Ｚ·劳金斯英亮校对一从二次世界大战结束到１９７３年，美国工人的实际平均工资增长了两倍多；然而从１９７３年至今只增长了