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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2009★ 2 cited

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…