Towards a unifying view on security contracts
Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen · ACM SIGSOFT Software Engineering Notes · 2005
A key property of software component technology is predictability, which means that the properties of an overall system can be deduced from the properties of the individual components. One of the crucial building blocks in component technology is the notion of component contract. In order to leverage predictability for the construction of secure systems, security requirements and properties must be adequately supported by component contracts, which is currently a challenging and open problem. This paper provides an overview of the problem domain by presenting an initial taxonomy of security contracts and their representative security properties.