A Sound Decision Procedure for the Compositionality of Secrecy.
ESSoS. 2012 S. 97 - 105
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ESSoS. 2012 S. 97 - 105
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |