Security engineering of lattice-based policies | IEEE Conference Publication | IEEE Xplore