Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Computer
Security Control for COTS Components
Computer
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Security Characterisation Framework for Trustworthy Component Based Software Systems
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Deriving Systems Level Security Properties of Component Based Composite Systems
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Secure Software Engineering: Learning from the Past to Address Future Challenges
Information Security Journal: A Global Perspective
A model-based aspect-oriented framework for building intrusion-aware software systems
Information and Software Technology
On the secure software development process: CLASP, SDL and Touchpoints compared
Information and Software Technology
Software security analysis and assessment model for the web-based applications
Journal of Computational Methods in Sciences and Engineering
| Hi-index | 0.00 |
This paper presents a tool for the integration of security-aware services based applications that is constructed on the principles of security characterization of individual software services. The tool uses the technique of reasoning between the ensured security properties of the services and the security requirements of the user's system. Rather than reporting the research outcomes, in this paper the authors describe the architecture and capabilities of the tool for secure software integration. The main objective of this paper is to show that an automatic tool support could assist the process of security-aware service based software integration.