Netbill协议原子性的符号模型检验分析

作者：郭云川; 古天龙; 董荣胜; 蔡国永电子商务协议符号模型检验原子性

摘要：电子商务协议的安全性和原子性是电子商务研究音和使用者广泛关心的问题，采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节。论文在对Nelbill协议及其原子性进行形式化描述的基础上，基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验，从而表明了用SMV对电子商务协议分析和验证的可行性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社