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 introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
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...
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...