Starten Sie Ihre Suche...


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

Towards using game semantics for crypto protocol verification: Lorenzen games.

GALOP. 2005 S. 241 - 257

Erscheinungsjahr: 2005

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik