KIT | KIT-Bibliothek | Impressum | Datenschutz

Non-Interference with What-Declassification in Component-Based Systems

Grahl, Daniel; Greiner, Simon

Component-based design is a method for modular design of systems. The structure of component-based systems follows specific rules and single components make assumptions on the environment that they run in. In this paper, we provide a noninterference property for component-based systems that allows for a precise specification of what-declassification of information and takes assumptions on the environment into consideration in order to allow a modular, precise and re-usable information-flow analysis. For precise analysis, components can be analyzed by separately analysing services provided by a component, and from our compositionality theorem non-interference of components follows.

Volltext §
DOI: 10.5445/IR/1000050422
DOI: 10.1109/CSF.2016.25
Zitationen: 8
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2015
Sprache Englisch
Identifikator ISSN: 2190-4782
KITopen-ID: 1000050422
Verlag Karlsruher Institut für Technologie (KIT)
Serie Karlsruhe Reports in Informatics ; 2015,10
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page