A domain-specific language for cryptographic protocols based on streams.
J. Log. Algebr. Program. Bd. 78. H. 2. 2009 S. 54 - 73
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
J. Log. Algebr. Program. Bd. 78. H. 2. 2009 S. 54 - 73
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |