%0 Conference Paper %1 Stamer:2006:SICHERHEIT %A Stamer, Heiko %B SICHERHEIT 2006 %D 2006 %E Dittmann, Jana %I Gesellschaft für Informatik e.V. %K verification ping-pong cryptographic protocols %P 283--293 %T Verifikation von Ping-Pong Protokollen in Zeit $O(n^2)$ %V P-77 %X Wir betrachten eine von Dolev, Even und Karp eingeführte Technik zur formalen Analyse von Ping-Pong Protokollen. Eine naheliegende Beobachtung zeigt, dass die Kürzungsregeln immer durch eine eindeutige kontextfreie Grammatik beschreibbar sind. Damit kann die asymptotische Laufzeit des ursprünglichen Verifikationsalgorithmus um einen linearen Faktor verbessert werden. %@ 3-88579-171-4

@inproceedings{Stamer:2006:SICHERHEIT, abstract = {Wir betrachten eine von Dolev, Even und Karp eingeführte Technik zur formalen Analyse von Ping-Pong Protokollen. Eine naheliegende Beobachtung zeigt, dass die Kürzungsregeln immer durch eine eindeutige kontextfreie Grammatik beschreibbar sind. Damit kann die asymptotische Laufzeit des ursprünglichen Verifikationsalgorithmus um einen linearen Faktor verbessert werden.}, added-at = {2007-02-09T10:03:27.000+0100}, author = {Stamer, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/2260edccc9a8ac4f85b896eb4b8f96d97/stamer}, booktitle = {SICHERHEIT 2006}, description = {My publications}, editor = {Dittmann, Jana}, interhash = {175b8bd7c080b58581a61a9ac464c806}, intrahash = {260edccc9a8ac4f85b896eb4b8f96d97}, isbn = {3-88579-171-4}, issn = {1617-5468}, keywords = {verification ping-pong cryptographic protocols}, pages = {283--293}, publisher = {Gesellschaft f{\"u}r Informatik e.V.}, series = {Lecture Notes in Informatics}, timestamp = {2007-02-09T10:03:28.000+0100}, title = {Verifikation von {P}ing-{P}ong {P}rotokollen in {Z}eit $\mathcal{O}(n^2)$}, volume = {P-77}, year = 2006 }