Security Requirements in Web Service Composition: Formalization, Integration, and Verification

In Web service composition process, non-functional requirements integration with functional requirements remains open despite the proposed approaches in the literature. The contribution we propose in this paper deals with security requirements. It consists on modeling some security requirements using FSM (Finite State Machine) and their integration dynamically with expressed functional requirements. To validate our formalization and integration approach in web service composition, we have used model checking tool UPPAAL. A Health Care case study is proposed for experimentation.