loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Australian Software Engineering Conference (ASWEC'01)
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components
Canberra, Australia
August 27-August 28
ISBN: 0-7695-1254-2
Khaled Khan, University of Western Sydney
Jun Han, Monash University
Yuliang Zheng, Monash University
Abstract: This paper presents a framework for constructing compositional security contracts (CsC) based on the security property exposed by the atomic component. The framework uses interface structure of components in order to determine the CsC of software components. An active interface provides the component a basis for reasoning and assessing a component's suitability to meet certain security requirements of a particular application. Based on the security information available from the component interface, an active interface can reason whether the candidate component meets the security requirements for an envisaged systemwide application. Any security mismatches or discrepancies between components can be identified by the participating components before an actual composition takes place. Exposing the security properties of software components can be the basis for a trust relationship among components, and the exposed security could affect the underlying security of the enclosing system.
Citation:
Khaled Khan, Jun Han, Yuliang Zheng, "A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components," aswec, pp.0117, 13th Australian Software Engineering Conference (ASWEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.