Formal Verification of Cardholder Registration in SET.

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano

Browse the full ESORICS paper archive.