Automated Validation of Security-sensitive Web Services specified in
BPEL and RBAC (Extended Version)

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

7 September 2010

ArXiv (abs)PDF HTML

Papers citing "Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)"

Title
No papers