1990 Proceedings of the Sixth Annual Computer Security Applications Conference
Informal top-level specifications for trusted application systems
DOI Bookmark: 10.1109/CSAC.1990.143818
Authors
J.P. McDermott, Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USAJ.N. Froscher, Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA
C.N. Payne, Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA
H.O. Lubbes, Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA