On the Verification of Opacity in Web Services and Their Composition | IEEE Journals & Magazine | IEEE Xplore