@techreport{GrahlGreiner15, author = {Daniel Grahl and Simon Greiner}, title = {Non-Interference with What-Declassification in Component-Based Systems}, year = 2015, month = nov, institution = {Department of Informatics, Karlsruhe Institute of Technology}, number = {2015,10}, series = {Karlsruhe Reports in Informatics}, url = {https://publikationen.bibliothek.kit.edu/1000050422}, urn = {urn:nbn:de:swb:90-504229}, issn = {2190-4782}, language = {english}, license = {https://creativecommons.org/licenses/by-nc-nd/3.0/}, 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.} }
Non-Interference with What-Declassification in Component-Based Systems
Author(s): | Daniel Grahl and Simon Greiner |
---|---|
Institution: | Department of Informatics, Karlsruhe Institute of Technology |
Series: | Karlsruhe Reports in Informatics |
Number: | 2015,10 |
Year: | 2015 |
URL: | https://publikationen.bibliothek.kit.edu/1000050422 |
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.