Towards using game semantics for crypto protocol verification: Lorenzen games.
GALOP. 2005 S. 241 - 257
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
GALOP. 2005 S. 241 - 257
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |