Using aspects for security engineering of Web service compositions | IEEE Conference Publication | IEEE Xplore