1. A comparison of commercial and military computer security policies;Clark;Proceedings Symposium on Security and Privacy,1987
2. J. Guttman, private communication. The MITRE Corporation, Bedford, MA.
3. Naming and grouping privileges to simplify security management in large databases;Baldwin;Proceedings Symposium on Security and Privacy,1990
4. Final Report Volume 3A: The SeaView Formal Top-Level Specifications;Lunt,1989
5. The SeaView security model;Lunt;IEEE Trans. on Software Engineering,1990