Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Arapinis-Duflot/07"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Bounding messages for free in security protocols Publikation auswählen
Myrto Arapinis, Marie Duflot

Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)
Lecture Notes in Computer Science 4855 , 2007, pp. 376-387

Editors  V. Arvind, Sanjiva Prasad
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/978-3-540-77050-3_31