%0 Conference Proceedings
%T Preserving Confidentiality in Component Compositions
%+ Fraunhofer Institute for Secure Information Technology [Darmstadt] (Fraunhofer SIT)
%A Fuchs, Andreas
%A Gürgens, Sigrid
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 12th International Conference on Software Composition (SC)
%C Budapest, Hungary
%Y Walter Binder
%Y Eric Bodden
%Y Welf Löwe
%I Springer
%3 Software Composition
%V LNCS-8088
%P 33-48
%8 2013-06-19
%D 2013
%R 10.1007/978-3-642-39614-4_3
%Z Computer Science [cs]Conference papers
%X The preservation of any security property for the composition of components in software engineering is typically regarded a non-trivial issue. Amongst the different possible properties, confidentiality however poses the most challenging one. The naive approach of assuming that confidentiality of a composition is satisfied if it is provided by the individual components may lead to insecure systems as specific aspects of one component may have undesired effects on others. In this paper we investigate the composition of components that each on its own provide confidentiality of their data. We carve out that the complete behaviour between components needs to be considered, rather than focussing only on the single interaction points or the set of actions containing the confidential data. Our formal investigation reveals different possibilities for testing of correct compositions of components, for the coordinated distributed creation of composable components, and for the design of generally composable interfaces, ensuring the confidentiality of the composition.
%G English
%Z TC 2
%Z WG 2.4
%2 https://inria.hal.science/hal-01492775/document
%2 https://inria.hal.science/hal-01492775/file/978-3-642-39614-4_3_Chapter.pdf
%L hal-01492775
%U https://inria.hal.science/hal-01492775
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-8088
%~ IFIP-SC
%~ IFIP-WG2-4