Automatic Verification of Security in Payment Protocols for Electronic Commerce.

Maurizio Panti Luca Spalazzi Simone Tacconi Salvatore Valenti Automatic Verification of Security in Payment Protocols for Electronic Commerce. 968-974 2002 ICEIS db/conf/iceis/iceis2002.html#PantiSTV02