The verification of an industrial payment protocol: the SET purchase phase.

Giampaolo Bella, Lawrence C. Paulson, Fabio Massacci

Browse the full CCS paper archive.