1. T. A Berson and T. F. Lunt. Multilevel security for knowledge-based systems. In Proceedings of the 1987 IEEE Symposium on Security and Privacy, April 1987.
2. National Computer Security Center. Department of defense trusted computer system evaluation criteria. Technical Report DOD 5200.28-STD, Department of Defense, December 1985.
3. Technical report;JS Crow,1986
4. Technical report;JS Crow,1986
5. J. S. Crow, R. Lee, J. M. Rushby, F. W. von Henke, and R. A. Whitehurst. EHDM verification environment: An overview. In Proceedings of the 11th National Computer Security Conference, October 1988.