Efficient Dynamic Policy Monitoring in Service Oriented Architectures | IEEE Conference Publication | IEEE Xplore