ABSTRACT

Romulus: A Computer Security Properties Modeling Environment, the Theory of Security   [open pdf - 5MB]

"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."

Report Number:
RL-TR-91-36, Vol IIa (of seven)
Author:
Publisher:
Date:
1991-04
Copyright:
Public Domain
Retrieved From:
Defense Technical Information Center (DTIC): http://www.dtic.mil/dtic/
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations