Model Checking Analysis for Atomicity of Electronic Commerce Protocol

• 一种电子商务协议原子性的模型检验分析方法