Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir 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üftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo Institut für Informatik