print · source · login   

Bibliography

ASV10
F. Aarts, J. Schmaltz, and F.W. Vaandrager. Inference and Abstraction of the Biometric Passport. In T. Margaria and B. Steffen, editors. Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6415, pp. 673-686, Springer-Verlag, 2010.
ICAO9303P1V1
International Civil Aviation Organisation's (ICAO) Doc 9303 Part 1, Volume 1 (OCR machine-readable passports)
ICAO9303P1V2
International Civil Aviation Organisation's (ICAO) Doc 9303 Part 1, Volume 2 (e-passports)
ICAO9303P3
International Civil Aviation Organisation's (ICAO) Doc 9303 Part 3 (credit-card sized ID cards)
MPSTW09
W. Mostowski, E. Poll, J. Schmaltz, J. Tretmans, and R. Wichers Schreur. Model-Based Testing of Electronic Passports. 2009.
Tre08
J. Tretmans. Model based testing with labelled transition systems. In R. Hierons, J. Bowen, and M. Harman, editors, Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, pages 1-38. Springer Berlin / Heidelberg, 2008.