A Formal Method for Analyzing Electronic Commerce Protocols

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