Security Policy Refinement: High-Level Specification to Low-Level Implementation | IEEE Conference Publication | IEEE Xplore