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)
