Formal Verification of Cardholder Registration in SET (2000)

by G Bella, F Massacci, L C Paulson, P Tramontano
Venue:Proc. of the 6th European Symposium on Research in Computer Security (ESORICS’00), LNCS 1895