selected publications
-
academic article
- Specifying and enforcing a multi-policy paradigm for high assurance multi-enclave systems. Journal of High Speed Networks. 15:315-327. 2006
-
conference paper
- Using policy enforcement graphs in a separation-based high assurance architecture. Iri 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. 183-189. 2007