Automata-Based Verification of Security Requirements of Composite Web Services | IEEE Conference Publication | IEEE Xplore