Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)

Michele Barletta, Silvio Ranise, Luca Viganò

A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorizati…