Distributed Orchestration of Web Services under Security Constraints?

Abstract. We present a novel approach to automated distributed or-chestration of Web services tied with security policies. The construction of an orchestration complying with the policies is based on the resolu-tion of deducibility constraint systems and has been implemented for the non-distributed case as part of the AVANTSSAR Validation Platform. The tool has been successfully experimented on several case-studies from industry and academia