Non-interference with what-declassification in component-based systems / Daniel Grahl and Simon Greiner
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2015, 10Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015Description: 1 Online-Ressource (17 ungezählte Seiten)Genre/Form: Online resources: PPN: PPN: 845512315Package identifier: Produktsigel: ZDB-296-TTNNo physical items for this record