Konferenzbeitrag

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

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
GI-Proceedings-77-34.pdf (4.42 MB)
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Beschreibung
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
Schlagwörter
Zitierform
DOI
Tags
Sammlungen
P077 - Sicherheit 2006 - Sicherheit - Schutz und Zuverlässigkeit