A New Electronic Commerce Protocol and its Formal Analysis

• 一种新型的电子商务协议及形式化分析