Model-based testing of electronic passports

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5825 LNCS, Issue , 2009, Pages 207-209

  Mostowski, Wojciech ^a   Poll, Erik ^a   Schmaltz, Julien ^b   Tretmans, Jan ^a,b   Wichers Schreur, Ronny ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTACT LESS; E-PASSPORT; ELECTRONIC PASSPORTS; EPASSPORTS; FORMAL MODEL; MODEL BASED TESTING;

SMART CARDS;

FORMAL METHODS;

EID: 70549112173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04570-7_19     Document Type: Conference Paper

References (6)

1. Advanced security mechanisms for machine readable travel documents - Extended Access Control (EAC) - Version 1.11. Technical Report TR-03110, German Federal Office for Information Security (BSI), Bonn, Germany (2008)
2. Frantzen, L., Tretmans, J., Willemse, T.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1-15. Springer, Heidelberg (2005)
3. Doc 9303 - Machine readable travel documents - Part 1-2. Technical report, ICAO, 6th edn. (2006)
4. ISO/ICE. ISO-compliant driving license - Part 1, 2, 3. Technical report (2009), ISO 18013
5. Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1-38. Springer, Heidelberg (2008)
6. Tretmans, J., Brinksma, E.: TorX: Automated model based testing. In: Hartman, A., Dussa-Zieger, K. (eds.) First European Conference on Model-Driven Software Engineering, Imbuss, Möhrendorf, Germany, December 2003, 13 pages (2003)