Model-Based Security Verification and Testing for Smart-cards
Submitted by TUD on Fri, 2012-01-27 11:03
| Title | Model-Based Security Verification and Testing for Smart-cards |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Fourneret, E., M. Ochoa, F. Bouquet, J. Botella, J. Jürjens, and P. Yousefi |
| Conference Name | 6th Intl. Conf. on Availability, Reliability and Security (ARES 2011) |
| Conference Location | Vienna, Austria |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
