TY  - RPRT
TI  - Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)
AU  - Michele Barletta
AU  - Silvio Ranise
AU  - Luca Viganò
PY  - 2009
UR  - https://arxiv.org/abs/0906.4570
ID  - 0906.4570
ER  -