Accession Number : ADA236128

Title :   Romulus: A Computer Security Properties Modeling Environment Overview. Volume 1.

Descriptive Note : Final rept. Apr 85-May 90,

Corporate Author : ORA CORP ITHACA NY

Personal Author(s) : Sutherland, Ian ; Korelsky, Tanya ; McCullough, Daryl ; Rosenthal, David ; Seldin, Jonathan

Report Date : APR 1991

Pagination or Media Count : 78

Abstract : The Romulus Report describes the Romulus Computer Security Properties Modeling Environment. Romulus is an environment and methodology for the modeling, analysis, and verification of trusted computer systems, together with supporting tools. The Romulus methodology is based on a mathematical theory of security developed at Odyssey Research Associates. The theory formalizes multilevel information flow security by introducing restrictiveness, a hookup security property. This means that a collection of secure restrictive composite system. Because of its composability, restrictiveness is a useful security property for large, complex, distributed systems. Volume I presents an overview of the important ideas and tools incorporated into the Romulus system. Volume II describes the underlying theory of security as well as Mathesis, the mathematical foundations of Romulus.


Subject Categories : Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE