Automatic Verification of Security in Payment Protocols for Electronic Commerce