Show simple item record

AuthorKhan, K.M.
AuthorKowalczyk, R.
AuthorJun, Han
Available date2024-04-02T06:04:51Z
Publication Date2006
Publication NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
AbstractThis paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the security objectives and properties at the service and system levels, the negotiation and re-negotiation techniques for service composition and evolution, and the analysis techniques for checking the security compatibility between services and the satisfaction of system-level security goals. It focuses on developing techniques that allow system developers to design required security into service compositions with predictability and to maintain or adapt service compositions in changed security contexts.
SubjectInformation theory
Modal analysis
Model checking
Software engineering
Structure (composition)
(PL) properties
Analysis techniques
Asia Pacific
Building blocks
Evolution (CO)
Negotiation techniques
security goals
Security objectives
Semantic modeling
Service compositions
software services
System developers
system levels
Chemical analysis
TitleSecurity-oriented service composition and evolution
TypeConference Paper

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record