Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties | IEEE Conference Publication | IEEE Xplore