Starten Sie Ihre Suche...


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

Runtime verification of cryptographic protocols.

Computers & Security. Bd. 29. H. 3. 2010 S. 315 - 330

Erscheinungsjahr: 2010

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Bauer, Andreas (Autor)
Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik