Formal Verification of Cardholder Registration in SET (2000)

by Giampaolo Bella , Fabio Massacci , Lawrence C. Paulson , Piero Tramontano , Cb Qg England
Citations:23 - 15 self