The technique of logic analysis combined with process calculi is proposed in [3].However, the technique has some limitations in analyzing security and atomicity of e-com- merce.

• 但电子商务协议的设计是非常复杂且容易出错,一个貌似良好的协议可能存在重大的安全漏洞。