| |
| 2000 | ||
|---|---|---|
| 2 | EE | Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Formal Verification of Cardholder Registration in SET. ESORICS 2000: 159-174 |
| 1 | EE | Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Making Sense of Specifications: The Formalization of SET. Security Protocols Workshop 2000: 74-81 |
| 1 | Giampaolo Bella | [1] [2] |
| 2 | Fabio Massacci | [1] [2] |
| 3 | Lawrence C. Paulson | [1] [2] |