Electronic passports, or e-passports for short, contain a contactless smartcard which stores digitally-signed data. To rigorously test e-passports, we developed formal models of the e-passport protocols that enable model-based testing using the TorXakis framework. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., & Wichers Schreur, R. (2009). Model-based testing of electronic passports. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5825 LNCS, pp. 207–209). https://doi.org/10.1007/978-3-642-04570-7_19
Mendeley helps you to discover research relevant for your work.