Michele Barletta, Silvio Ranise, Luca ViganĂ². A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Service Oriented Computing and Applications, 5(2):105-137, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.