Cryptology ePrint Archive: Report 2013/223

The PACE|AA Protocol for Machine Readable Travel Documents, and its Security

Jens Bender and Özgür Dagdelen and Marc Fischlin and Dennis Kügler

Abstract: We discuss an efficient combination of the cryptographic protocols adopted by the International Civil Aviation Organization (ICAO) for securing the communication of machine readable travel documents and readers. Roughly, in the original protocol the parties first run the Password-Authenticated Connection Establishment (PACE) protocol to establish a shared key and then the reader (optionally) invokes the Active Authentication (AA) protocol to verify the passport's validity. Here, we show that by carefully re-using some of the secret data of the PACE protocol for the AA protocol one can save one exponentiation on the passports's side. We call this the PACE|AA protocol. We then formally prove that this more efficient combination not only preserves the desirable security properties of the two individual protocols but also increases privacy by preventing misuse of the challenge in the Active Authentication protocol. We finally discuss a solution which allows deniable authentication in the sense that the interaction cannot be used as a proof towards third parties.

Category / Keywords: cryptographic protocols / ePassports, key exchange, deniability

Publication Info: An extended abstract of this work appears in Financial Cryptography and Data Security - 16th International Conference (FC 2013).

Date: received 15 Apr 2013, last revised 5 May 2013

Contact author: oezguer dagdelen at cased de

Available format(s): PDF | BibTeX Citation

Version: 20130505:080559 (All versions of this report)

Short URL: ia.cr/2013/223

Discussion forum: Show discussion | Start new discussion