Inproceedings,

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

, and .
IRI, page 183-189. IEEE Systems, Man, and Cybernetics Society, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews