@misc{indiciaec883076f5f68,
  title = {Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)},
  author = {Michele Barletta and Silvio Ranise and Luca Viganò},
  year = {2009},
  url = {https://arxiv.org/abs/0906.4570},
  note = {Source identifier: 0906.4570}
}