The Formal Verification of the Security of the Electronic Commerce Protocols

• 电子支付协议安全性的形式化分析