Informal top-level specifications for trusted application systems.

John P. McDermott, Judith N. Froscher, Christian N. Payne, Herman Otto Lubbes

Browse the full ACSAC paper archive.