| |
| * | 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] |