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

Michele Barletta Silvio Ranise Luca Viganò Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) http://arxiv.org/abs/0906.4570 2009 CoRR abs/0906.4570 db/journals/corr/corr0906.html#abs-0906-4570 informal publication