@misc{indiciae8f4985c5a7c3,
  title = {Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)},
  author = {Alberto Calvi and Silvio Ranise and Luca Viganò},
  year = {2010},
  url = {https://arxiv.org/abs/1009.4625},
  note = {Source identifier: 1009.4625}
}