Merging the cryptographic security analysis and the algebraic-logic security proof of PACE

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Cheikhrouhou, L., Stephan, W., Dagdelen, Ö., Fischlin, M. & Ullmann, M., (2012). Merging the cryptographic security analysis and the algebraic-logic security proof of PACE. In: Suri, N. & Waidner, M. (Hrsg.), SICHERHEIT 2012 – Sicherheit, Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. (S. 83-94).
@inproceedings{mci/Cheikhrouhou2012,
author = {Cheikhrouhou, Lassaad AND Stephan, Werner AND Dagdelen, Özgür AND Fischlin, Marc AND Ullmann, Markus},
title = {Merging the cryptographic security analysis and the algebraic-logic security proof of PACE},
booktitle = {SICHERHEIT 2012 – Sicherheit, Schutz und Zuverlässigkeit},
year = {2012},
editor = {Suri, Neeraj AND Waidner, Michael} ,
pages = { 83-94 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
83.pdf219.3Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-289-5
ISSN: 1617-5468
Datum: 2012
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige