A Policy Language for the Extended Reference Monitor in Trusted Operating Systems

Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai. A Policy Language for the Extended Reference Monitor in Trusted Operating Systems. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 1160-1166, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.