Secure Information Flow for Concurrent Processes
Catuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409 (Lecture Notes in Computer Science)
Erscheinungsjahr: 2000
ISBN/ISSN: 978-3-540-67897-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-44618-4_29
| Geprüft | Bibliothek |
