Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi. Model-Based Security Verification and Testing for Smart-cards. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 272-279, IEEE, 2011. [doi]
Abstract is missing.