Abstract
![CDATA[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. The process is based on the idea of publishing trust related properties of software components in machine readable as well as understandable form at the component level and incorporating such properties with runtime composition of the application system. We explore the actual process involved in specifying publishable security properties of atomic components, component certification, reasoning about compositional security contracts, and characterising ultimate systems-level security properties to inspire trust in software components.]]
Original language | English |
---|---|
Title of host publication | 2004 Australian Software Engineering Conference: Proceedings of the ASWEC 2004 : 13-16 April, 2004, Melbourne, Australia |
Publisher | IEEE Computer Society |
Number of pages | 10 |
ISBN (Print) | 0769520898 |
Publication status | Published - 2004 |
Event | Australian Software Engineering Conference - Duration: 1 Jan 2004 → … |
Conference
Conference | Australian Software Engineering Conference |
---|---|
Period | 1/01/04 → … |
Keywords
- component software
- software engineering
- computer security
- trust