Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud | IEEE Conference Publication | IEEE Xplore