Advertisement

Model-Based Testing of Electronic Passports

  • Wojciech Mostowski
  • Erik Poll
  • Julien Schmaltz
  • Jan Tretmans
  • Ronny Wichers Schreur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5825)

Introduction

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.

Keywords

Formal Model Authentication Protocol State Diagram Security Mechanism Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)Google Scholar
  2. 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)Google Scholar
  3. 3.
    Doc 9303 – Machine readable travel documents – Part 1–2. Technical report, ICAO, 6th edn. (2006)Google Scholar
  4. 4.
    ISO/ICE. ISO-compliant driving license – Part 1, 2, 3. Technical report (2009), ISO 18013Google Scholar
  5. 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)CrossRefGoogle Scholar
  6. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Wojciech Mostowski
    • 1
  • Erik Poll
    • 1
  • Julien Schmaltz
    • 2
  • Jan Tretmans
    • 1
    • 2
  • Ronny Wichers Schreur
    • 1
  1. 1.Radboud UniversityNijmegenThe Netherlands
  2. 2.Embedded Systems Institute (ESI)EindhovenThe Netherlands

Personalised recommendations