Michele Barletta, Silvio Ranise, Luca Viganò. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. In Proceedings IEEE CSE 09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada. pages 289-296, IEEE Computer Society, 2009. [doi]
Abstract is missing.