TU Darmstadt / ULB / TUbiblio

Assumptions and Guarantees for Compositional Noninterference

Mantel, Heiko and Sands, David and Sudbrock, Henning (2011):
Assumptions and Guarantees for Compositional Noninterference.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2011
Creators: Mantel, Heiko and Sands, David and Sudbrock, Henning
Title: Assumptions and Guarantees for Compositional Noninterference
Language: German
Title of Book: 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:

Optionen (nur für Redakteure)

View Item View Item