KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
DOI: 10.5445/IR/1000050422
Originalveröffentlichung
DOI: 10.1109/CSF.2016.25

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

Grahl, Daniel; Greiner, Simon

Abstract:
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.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht
Jahr 2015
Sprache Englisch
Identifikator ISSN: 2190-4782
URN: urn:nbn:de:swb:90-504229
KITopen-ID: 1000050422
Verlag Karlsruhe
Serie Karlsruhe Reports in Informatics ; 2015,10
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page