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...
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...
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...