A domain-specific language for cryptographic protocols based on streams
The Journal of Logic and Algebraic Programming. Bd. 78. H. 2. Amsterdam: Elsevier 2009 S. 54 - 73
Erscheinungsjahr: 2009
ISBN/ISSN: 1567-8326
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.jlap.2008.08.006
| Geprüft | Bibliothek |
