On the composition of secure systems

Publikationstyp
Conference Paper
Date Issued
2002-05
Sprache
English
Author(s)
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/14011
Start Page
88
End Page
101
Article Number
1004364
Citation
Proceedings - IEEE Symposium on Security and Privacy 2002-January 1004364, 88-101 (2002)
Contribution to Conference
IEEE Symposium on Security and Privacy, S and P 2002  
Publisher DOI
10.1109/SECPRI.2002.1004364
Scopus ID
2-s2.0-84948418498
Publisher
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. We present various compositionality results for security properties. In particular we introduce a novel security property and show that this property is, in general, composable although it is weaker than forward correctability. Moreover we demonstrate that certain nontrivial security properties emerge under composition and illustrate how this fact can be exploited. All compositionality results that we present are verified with the help of a single, quite powerful lemma. Basing on this lemma, we also re-prove several already known compositionality results with the objective to unify these results. As a side effect, we obtain a classification of known compositionality results for security properties.
Subjects
Artificial intelligence
Information security
Interleaved codes
Power system security
Privacy
Proposals
Safety
DDC Class
004: Informatik