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 |
Drucken
Impressum