Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011):
Assumptions and Guarantees for Compositional Noninterference.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, pp. 218-232,
[Conference or Workshop Item]
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2011 |
Creators: | Mantel, Heiko ; Sands, David ; Sudbrock, Henning |
Title: | Assumptions and Guarantees for Compositional Noninterference |
Language: | German |
Book Title: | Proceedings of the 24th IEEE Computer Security Foundations Symposium |
Uncontrolled Keywords: | Secure Data |
Divisions: | LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS) LOEWE > LOEWE-Zentren 20 Department of Computer Science LOEWE |
Date Deposited: | 31 Dec 2016 09:57 |
Identification Number: | TUD-CS-2011-0123 |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |