An efficient and scalable algorithm for policy compatibility in service virtualization | IEEE Conference Publication | IEEE Xplore