电子商务协议形式化分析的一种新方法

摘要：

在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验.文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法.

关键词：电子商务协议、安全性、原子性、形式化方法

所属期刊栏目：31

分类号：TP3;TN9

在线出版日期：2004-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：86-88,112