supported by National Natural Science Foundation of China (No. 10971240, No. 6100404, No. 61074057), Natural Science Foundation of Chongqing Province of China(No. CSTC2008BB2364), Foundation of Scienc
This paper describes the formal verification of the Merchant Registration phase of the Secure Electronic Transactions (SET) protocol, a realistic electronic tra