Formal Verification of Cardholder Registration in SET. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson; Piero Tramontano (ESORICS, 2000)

Making Sense of Specifications: The Formalization of SET. - Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson; Piero Tramontano (Security Protocols Workshop, 2000)