Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture.

Lu'ay A. Wahsheh, Jim Alves-Foss

Browse the full IRI paper archive.