TY  - RPRT
TI  - Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
AU  - Alberto Calvi
AU  - Silvio Ranise
AU  - Luca Viganò
PY  - 2010
UR  - https://arxiv.org/abs/1009.4625
ID  - 1009.4625
ER  -