Loading...
Please wait, while we are loading the content...
Similar Documents
A security characterisation framework for trustworthy component based software systems (2003).
| Content Provider | CiteSeerX |
|---|---|
| Author | Khan, Khaled Han, Jun |
| 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. 1. |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Software Component Security Characterisation Framework Software System Security Property Trustworthy Component Compositional Matching Atomic Component System Composition Application System Explicit Opportunity Software Composer Security Requirement Priori Security Property Possible Match Trustworthy Compositional Contract Candidate Component |
| Content Type | Text |
| Resource Type | Article |
