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

25 June 2009

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

2 / 2 papers shown

Title
Automated Symbolic Analysis of ARBAC-Policies (Extended Version) A. Armando Silvio Ranise 52 29 0 27 Dec 2010
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) Alberto Calvi Silvio Ranise Luca Vigano 78 8 0 07 Sep 2010