Gabriele CostaFabio MartinelliArtsiom Yautsiukhin
Secure orchestration is an important concern in the internet of service. Next\nto providing the required functionality the composite services must also\nprovide a reasonable level of security in order to protect sensitive data.\nThus, the orchestrator has a need to check whether the complex service is able\nto satisfy certain properties. Some properties are expressed with metrics for\nprecise definition of requirements. Thus, the problem is to analyse the values\nof metrics for a complex business process.\n In this paper we extend our previous work on analysis of secure orchestration\nwith quantifiable properties. We show how to define, verify and enforce\nquantitative security requirements in one framework with other security\nproperties. The proposed approach should help to select the most suitable\nservice architecture and guarantee fulfilment of the declared security\nrequirements.\n
Gabriele CostaFabio MartinelliArtsiom Yautsiukhin
Massimo BartolettiPierpaolo DeganoGian-Luigi FerrariRoberto Zunino
Gabriele CostaFabio MartinelliArtsiom Yautsiukhin
Yu ZhouXin Peng LiuEduardo KahanXi Ning WangLiang XueKe Zhou
Gabriele CostaPierpaolo DeganoFabio Martinelli