1. Secure computer systems: unified exposition and multics interpretation;Bell,1976
2. Protection — principles and practice;Graham,1972
3. Department of Defense trusted computer system evaluation criteria,1985
4. Security Policy and Interpretation for a Class A1 Multilevel Secure Relational Database System;Denning,1986
5. The SeaView Formal Security Policy Model;Denning,1987