Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Modelling and Verification of Layered Security Protocols: A Bank Application.

SAFECOMP. 2003 S. 116 - 129

Erscheinungsjahr: 2003

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Grünbauer, Johannes (Autor)
Hollmann, H. (Autor)
Jürjens, Jan (Autor)
Wimmel, Guido (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik