Security Analysis of the PACE Key-Agreement Protocol

We analyze the Password Authenticated Connection Establishment (PACE) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deployment in machine readable travel documents. We show that the PACE protocol is secure in the real-or-random sense of Abdalla, Fouque and Pointcheval, under a number-theoretic assumption related to the Diffie-Hellman problem and assuming random oracles and ideal ciphers.

• Type: Conference
• Year: 2009
• Where: ISW
• Authors: Jens Bender, Marc Fischlin, Dennis Kügler
• Keywords: Authenticated Key Agreement, Information Management, ISW 2009, Machine Readable Travel Documents, Password Authenticated Connection