Alberto Calvi, Silvio Ranise, Luca Viganò. Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. In Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. pages 456-464, IEEE Computer Society, 2010. [doi]
Abstract is missing.