P195 - Sicherheit 2012 - Sicherheit, Schutz und Zuverlässigkeit

Auflistung nach:

1 - 2 von 2

Konferenzbeitrag
Merging the cryptographic security analysis and the algebraic-logic security proof of PACE
(SICHERHEIT 2012 – Sicherheit, Schutz und Zuverlässigkeit, 2012) Cheikhrouhou, Lassaad; Stephan, Werner; Dagdelen, Özgür; Fischlin, Marc; Ullmann, Markus
In this paper we report on recent results about the merge of the cryptographic security proof for the Password Authenticated Connection Establishment (PACE), used within the German identity cards, with the algebraic-logic symbolic proof for the same protocol. Both proofs have initially been carried out individually, but have now been combined to get “the best of both worlds”: an automated, errorresistant analysis with strong cryptographic security guarantees.
Konferenzbeitrag
TLS, PACE, and EAC: a cryptographic view at modern key exchange protocols
(SICHERHEIT 2012 – Sicherheit, Schutz und Zuverlässigkeit, 2012) Brzuska, Christina; Dagdelen, Özgür; Fischlin, Marc
To establish a secure channel between two parties common security solutions often use a key exchange protocol as a preliminary subroutine to generate a shared key. These solutions include the protocols for secure communication between a reader and an identity card or passport, called PACE and EAC, and the TLS protocol for secure web communication. In this work we survey the cryptographic status of these protocols and the recent developments in this area.