Date Added: Dec 2012
Secure orchestration is an important concern in the internet of service. Next to providing the required functionality the composite services must also provide a reasonable level of security in order to protect sensitive data. Thus, the orchestrator has a need to check whether the complex service is able to satisfy certain properties. Some properties are expressed with metrics for precise definition of requirements. Thus, the problem is to analyze the values of metrics for a complex business process. In this paper, the authors extend their previous work on analysis of secure orchestration with quantifiable properties. They show how to define, verify and enforce quantitative security requirements in one framework with other security properties.