institution logo
If you're member of the institution,  you just have to login to download the file in restricted access. It is not necessary to request a print.

Request copy

Model-based security verification and testing for smart-cards
FOURNERET, Elizabeta; Ochoa, Martìn; Bouquet, Fabrice et al.
2011In Proceedings of 6th International Conference on Availability, Reliability and Security (ARES 2011), p. 272-279

Document(s) requested
Fourneret_ARES2011.pdf

The desired document is not currently available on open access. Nevertheless you can request an offprint through the form below. If your request is accepted you will receive by e-mail a link allowing you access to the document for 5 days, 5 download attempts maximum.


Request form

Fields marked with ✱ are compulsory.

Back to the reference
Contact ORBilu