Paper Info
Title
Limiting recertification in highly configurable systems: analyzing interactions and isolation among configuration options
Abstract
In highly configurable systems the configuration space is too big for (re-)certifying every configuration in isolation. In this project, we combine software analysis with network analysis to detect which configuration options interact and which have local effects. Instead of analyzing a system as Linux and SELinux for every combination of configuration settings one by one (>102000 even considering compile-time configurations only), we analyze the effect of each configuration option once for the entire configuration space. The analysis will guide us to designs separating interacting configuration options in a core system and isolating orthogonal and less trusted configuration options from this core.
Year
DOI
Venue
2014
10.1145/2600176.2600199
HotSoS
Keywords
Field
DocType
security metrics,composability,complexity measures,software/program verification,configuration options,certification,network analysis
Software analysis pattern,Computer science,Configurable systems,Network analysis,Certification,Composability,Limiting,Configuration space,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
6
Authors
2
Name
Order
Citations
PageRank
Christian Kästner13591135.92
Jürgen Pfeffer234626.57