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

• A Formal Method for Analyzing Electronic Commerce Protocols