Notice of Violation of IEEE Publication Principles: A Formal Framework for Security Policy Specification and Implementation | IEEE Conference Publication | IEEE Xplore