By Topic

A security characterisation framework for trustworthy component based software systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Khan, K.Md. ; Sch. of comuting & Inf. Technol., Western Sydney Univ., NSW, Australia ; Han, J.

This paper explores how to characterize 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 applications systems.

Published in:

Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International

Date of Conference:

3-6 Nov. 2003