Runtime verification of cryptographic protocols
Computers & Security. Bd. 29. H. 3. Amsterdam: Elsevier 2010 S. 315 - 330
Erscheinungsjahr: 2010
ISBN/ISSN: 0167-4048
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.cose.2009.09.003
| Geprüft | Bibliothek |
