Sciweavers

ESORICS
2000
Springer

Formal Verification of Cardholder Registration in SET

14 years 3 months ago
Formal Verification of Cardholder Registration in SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where ESORICS
Authors Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano
Comments (0)