【摘 要】
：
该文对Web计算资源发布若干基本问题作了深入研究与探讨,然后讨论了电子商务中的安全和原子等问题并给出解决方案,最后应用Web计算资源发布和电子商务的研究成果,设计了一个
论文部分内容阅读
该文对Web计算资源发布若干基本问题作了深入研究与探讨,然后讨论了电子商务中的安全和原子等问题并给出解决方案,最后应用Web计算资源发布和电子商务的研究成果,设计了一个安全、原子的电子商务系统框架并进行了模拟实现.电子商务已经成为Internet上最重要也是最有前途的应用.为了解决目前电子商务系统在安全和原子等方面存在的问题,模仿在国际贸易中常用的信用证交易模式,该文提出了一个包括消费者、商人、银行和邮递公司在内的电子商务模型ELC(electronic letter of credit).随后,基于ELC模型该文介绍了一个安全、原子的电子商务协议BEARCAT并用BAN风格的逻辑验证了此协议满足电子商务安全和原子等属性的要求.最后,应用MACRP模型及其榕树状层次结构以及ELC电子商务模型,按照BEARCAT电子商务协议,该文设计了一个电子商务框架,基于此框架对吞吐率和容错等问题作了讨论,并模拟实现了一个电子商务原型系统.
其他文献
该文提出一种适用于计算机应用能力的网上CAI制作工具的方法,其基本思想是:利用面向对象技术,对应用领域进行深入细致的分析,归纳出系统的对象,并对对象控件化,用户只须设置
该论文研究的课题是1752芯片的研究, 主要研究1750A系统输入输出控制及自测试程序的研究.作为1750A系统设计的一部分,1752与1750ACPU和1751(COMBO)协同工作,实现嵌入式系统17
该论文工作的成果既可作为一个独立的系统供多人同时进行语音交流,也可作为一个子系统,应用在远程网络会议、虚拟战场、机器人遥现遥操作、远程医疗、漫游及娱乐等方面.该文
随着计算机网络和面向对象技术的发,分布对象计算技术应运而生并获得了广泛的应用,将成为下一代软件开发技术的主流. CORBA以其规范的开放笥和对异构环境下分布式应用开发强
该文以中远程场景运动目标自动监视为研究背景,对智能视频监视系统的各主要环节做了一定的研究探讨,对目前现有的算法进行了总结和改进,在PII级PC机配备少量外围部件情况下,
该课题主要研究对移动节点临时地址和永久地址的绑定.主要过程是:移动节点根据邻居发现算法来检测移动与否,若移动了,就用地址自动配制获取一个转交地址.然后移动节点发送绑
随着因特网络的发展、网络上信息量的增多，智能代理（Intelligent Agent）技术已经逐渐成为计算机研究领域中的一个崭新的课题。本文对因特网上智能搜索Agent作了比较深入的研究，其
本论文研究的课题是研究1751芯片，主要研究1750A系统存储器管理和保护。 作为1750A系统设计的一部分，1751与1750A CPU和1752协同工作，实现嵌入式系统1750A系统的完整功能。为
检测技术的快速发展，出现了许多新的问题有待研究，有很多是传统方法难以解决的问题。由于检测技术在现代社会的重要性，人们在不断探索研究新的检测技术。可拓学是一门新学科，用于
该文从基于构件的软件开发方法的这些特点出发,研究、解决了与这种软件开发方法相适应的软件配置管理技术.该文的工作分为以下几个主要层次:首先,该文提出了基于构件的软件的