Heiko Stamer. Verifikation von Ping-Pong Protokollen in Zeit ::::O::::(::::n:::::::2:::). In Jana Dittmann, editor, Sicherheit 2006: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 3. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 20.-22. Februar 2006 in Magdeburg. Volume 77 of LNI, pages 283-293, GI, 2006.
Abstract is missing.