Abstract is missing.
- Non-Discretionary Controls for Commercial ApplicationsSteven B. Lipner. 2-10
- Security Policies and Security ModelsJoseph A. Goguen, José Meseguer. 11-20
- A Preliminary Naval Surveillance DBMS Security ModelRichard D. Graubart, John P. L. Woodward. 21-37
- Memoryless Inference Controls for Statistical DatabasesDorothy E. Denning, Jan Schlörer, Elisabeth Wehrle. 38-45
- Protection in the OSKAR Operating System: Goals, Concepts, ConsequencesKlaus R. Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth. 46-56
- Kernel Isolation for the PDP-11/70Jonathan K. Millen. 57-65
- A Practical Approach to Identifying Storage and Timing ChannelsRichard A. Kemmerer. 66-73