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

• A New Electronic Commerce Protocol and its Formal Analysis