A security characterisation framework for trustworthy component based software systems

K.Md. Khan, Jun Han
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003  
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
more » ... 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.
doi:10.1109/cmpsac.2003.1245337 dblp:conf/compsac/KhanH03 fatcat:d3kqsb2w4bholoainqa6a2z5om