Lu ay A. Wahsheh, Jim Alves-Foss. Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. In Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA. pages 183-189, IEEE Systems, Man, and Cybernetics Society, 2007. [doi]
Abstract is missing.