A Security Modeling Approach for Web-Service-Based Business Processes | IEEE Conference Publication | IEEE Xplore