Model-Based Security Verification and Testing for Smart- cards
Günther Pernul; Juan-Carlos Trujillo Mondéjar; Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279
Erscheinungsjahr: 2011
ISBN/ISSN: 978-1-4577-0979-1
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ARES.2011.46
| Geprüft | Bibliothek |
Autoren
Fourneret, Elizabeta (Autor)
Ochoa, Martin (Autor)
Bouquet, Fabrice (Autor)
