An approach to extract RBAC models from BPEL4WS processes | IEEE Conference Publication | IEEE Xplore