Types for Workflow Access Control in Web Service Context | IEEE Conference Publication | IEEE Xplore