Model-Based Security Verification and Testing for Smart-cards - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Elizabeta Fourneret' in GoogleThis author has not been identified. Look up 'Martín Ochoa' in GoogleThis author has not been identified. Look up 'Fabrice Bouquet' in GoogleThis author has not been identified. Look up 'Julien Botella' in GoogleThis author has not been identified. Look up 'Jan Jürjens' in GoogleThis author has not been identified. Look up 'Parvaneh Yousefi' in Google

runs on WebDSL