@inbook {IOPORT.05483757,
    author       = {Stamer, Heiko},
    title        = {Verifikation von Ping-Pong Protokollen in Zeit O ( n^2).},
    year         = {2006},
    booktitle    = {SICHERHEIT 2006, Sicherheit - Schutz und Zuverl\"assigkeit, Beitr\"age der 3. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft f\"ur Informatik e.V. (GI), 20.-22. Februar 2006 in Magdeburg},
    isbn         = {3-88579-171-4},
    pages        = {283-293},
    publisher    = {Bonner K\"ollen Verlag},
    identifier   = {05483757},
}