论文部分内容阅读
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法.
电子商务协议形式化分析的一种新方法
【摘 要】
：
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年8期
其他文献
网络资源需要安全有效地使用与管理,为此本文提出以Linux操作系统中的netfilter/iptables框架为基础的对网络资源进行有效控制的方法,介绍如何设计并实现一个功能合理、性能
诺顿防病毒软件是技术成熟的杀毒软件,它有识毒数量大、杀毒能力强、升级方便的特点.该软件可以制作DOS下的救援软盘,可惜由于病毒库大,其救援盘目前要五张软盘,制作和使用都
由于竞争日益激烈,现代金融企业越来越重视科学决策分析的重要性.科学的决策分析离不开信息技术的支持.本文通过对目前决策分析领域中最流行的技术--OLAP技术的介绍,分析了其