Secure Information Flow for Concurrent Processes.
CONCUR. 2000 S. 395 - 409
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
CONCUR. 2000 S. 395 - 409
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |