Published Articles >> Table of Contents >> Abstract

27th Annual International Computer Software and Applications Conference   p. 164
A Security Characterisation Framework for Trustworthy Component Based Software Systems
Khaled Khan, University of Western Sydney
Jun Han, Swinburne University of Technology, Melbourne, Australia

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2003.1245337
Send link to a friend

Abstract
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components. This enables software components as well as composers to 'test' possible matches and mismatches between the security properties of the candidate components and the security requirements of the enclosing application system.
Back to Top Additional Information
Citation:  Khaled Khan, Jun Han, "A Security Characterisation Framework for Trustworthy Component Based Software Systems," compsac, p. 164,  27th Annual International Computer Software and Applications Conference,  2003