This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...