Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of {PACE}

@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}
}