A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

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]

Abstract is missing.

runs on WebDSL