Verifikation von Ping-Pong Protokollen in Zeit O ( n2)

Stamer, Heiko (2006): Verifikation von Ping-Pong Protokollen in Zeit O ( n2). Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-171-4. pp. 283-293. Regular Research Papers. Magdeburg. 20.-22. Februar 2006