@inproceedings{mci/Stamer2006,
author = {Stamer, Heiko},
title = {Verifikation von Ping-Pong Protokollen in Zeit O ( n2)},
booktitle = {Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit},
year = {2006},
editor = {Dittmann, Jana} ,
pages = { 283-293 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}