Merging the cryptographic security analysis and the algebraic-logic security proof of PACE
| dc.contributor.author | Cheikhrouhou, Lassaad | |
| dc.contributor.author | Stephan, Werner | |
| dc.contributor.author | Dagdelen, Özgür | |
| dc.contributor.author | Fischlin, Marc | |
| dc.contributor.author | Ullmann, Markus | |
| dc.contributor.editor | Suri, Neeraj | |
| dc.contributor.editor | Waidner, Michael | |
| dc.date.accessioned | 2018-11-19T13:11:37Z | |
| dc.date.available | 2018-11-19T13:11:37Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-289-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18265 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | SICHERHEIT 2012 – Sicherheit, Schutz und Zuverlässigkeit | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-195 | |
| dc.title | Merging the cryptographic security analysis and the algebraic-logic security proof of PACE | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 94 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 83 | |
| gi.conference.date | 7.-9. März 2012 | |
| gi.conference.location | Darmstadt | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1