Publikation
Lassaad Cheikhrouhou; Werner Stephan; Oezguer Dagdelen; Marc Fischlin; Markus Ullmann
In: Neeraj Suri; Michael Waidner (Hrsg.). Sicherheit 2012 - 6. Jahrestagung des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der GI. GI-Fachtagungen, March 7-9, Darmstadt, Germany, Pages 83-94, LNI, Vol. 195, ISBN 978-3-88579-289-5, GI, 2012.
@inproceedings{pub8066, author = { Cheikhrouhou, Lassaad and Stephan, Werner and Dagdelen, Oezguer and Fischlin, Marc and Ullmann, Markus }, editor = { Suri, Neeraj and Waidner, Michael }, title = {Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of \{PACE}}, booktitle = {Sicherheit 2012 - 6. Jahrestagung des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der GI. GI-Fachtagungen, March 7-9, Darmstadt, Germany}, series = {LNI}, year = {2012}, volume = {195}, pages = {83--94}, publisher = {GI}, isbn = {978-3-88579-289-5} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023