论文部分内容阅读
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法.
电子商务协议形式化分析的一种新方法
【摘 要】
：
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年8期
其他文献
网络资源需要安全有效地使用与管理,为此本文提出以Linux操作系统中的netfilter/iptables框架为基础的对网络资源进行有效控制的方法,介绍如何设计并实现一个功能合理、性能
随着数据库技术的迅速发展以及数据库管理系统的广泛应用,人们积累的数据越来越多.激增的数据背后隐藏着许多重要信息,人们希望能够对其进行更高层次的分析,以便更好地利用这
诺顿防病毒软件是技术成熟的杀毒软件,它有识毒数量大、杀毒能力强、升级方便的特点.该软件可以制作DOS下的救援软盘,可惜由于病毒库大,其救援盘目前要五张软盘,制作和使用都
由于竞争日益激烈,现代金融企业越来越重视科学决策分析的重要性.科学的决策分析离不开信息技术的支持.本文通过对目前决策分析领域中最流行的技术--OLAP技术的介绍,分析了其
一、金属化孔互连缺陷前述众所周知，金属化孔的质量直接关系到印制板的可靠性，多层板层与层之间的互连体依赖金属化孔实现。化学沉铜是内外层电路互连的过程；电镀铜作为化学镀铜
党的十九届五中全会明确了建设高质量教育体系的政策导向和重点要求,为教育改革发展确立了方向。睢县教育系统坚持把学习宣传贯彻全会精神作为统一思想、凝聚共识的重要政治
本文在具有标准资源分类的前提下提出了一种非集中式的网格资源发现方法,并利用仿真对其性能和开销进行了分析验证.该方法具有良好的资源发现性能,并且开销不大,可以控制.提
很多人在买啤酒时,会发现瓶子的标签左上角或者右上角的位置,有一个数字“11°、10°、9°、8°”,认为这就是酒精度数。真相:这个位置的数字并不是这瓶酒的