1. and . ‘Secure computer systems: mathematical foundations and model.’ M74–244. MITRE Corp. (May, 1973).
2. Department of Defense Computer Security Center. Department of Defense Trusted Computer System Evaluation Criteria. Fort George G. Meade. MD 20755 (15 August, 1983).
3. and , “Multilevel security with fewer fetters,” Proc. Spring I988 EUUG Conf., pp. 117–122, European UNIX Users Group. London (April 1988). Also Proc. UNIX Security Workshop. pp. 24–31. Portland (August 1988).
4. and . ‘Design of IX, a multilevel secure UNIX system,’ CSTR #163. AT&T Bell Laboratories (December 1991).
5. ‘Secure IX network,’ in Cryptography and Distributed Computing. and (Eds.). AMS/ACM Series in Discrete Mathematics and Theoretical Computer Science (1991).