@InProceedings{ares11FOBBJY,
author = {E.~Fourneret and M.~Ochoa and F.~Bouquet and
J.~Botella and J.~{J}{\"u}{r}jens and P.~Yousefi},
title = {Model-Based Security Verification and Testing for Smart-cards},
booktitle = {Sixth International Conference on Availability, Reliability and Security
(AReS 2011)},
year = {2011},
pages = {272--279},
address = {Vienna},
DOI = {10.1109/ARES.2011.46},
file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ares11FOBBJY.pdf:URL;slides:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/slides/ares11FOBBJYtalk.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL},
keywords = {internationalConferences, secureSoftwareEngineeringSecurityTesting, secureSoftwareEngineeringSecureEmbeddedSystems},
URL = {http://www.ares-conference.eu/},
}
BibTeX DOI URL preprint slides dblp