Model-Based Security Verification and Testing for Smart-cards.
ARES. 2011 S. 272 - 279
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Fourneret, Elizabeta (Autor)
Ochoa, Martín (Autor)
Bouquet, Fabrice (Autor)
Botella, Julien (Autor)
Yousefi, Parvaneh (Autor)