loading...
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components
Canberra, Australia August 27-August 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2001.94850513th Australian Software Engineering ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.