Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Towards Automated Computationally Faithful Verification of Cryptoprotocols

DIMACS Security Protocols Workshop. Rutgers University. 2004

Erscheinungsjahr: 2004

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Geprüft:Bibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo Institut für Informatik
Logo Universität Koblenz