Accession Number : ADA310944
Title : Romulus, A Computer Security Properties Modeling Environment: Romulus Library of Models. Volume 3.
Descriptive Note : Final rept. Aug 90-Jun 94,
Corporate Author : ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY
Personal Author(s) : Brackin, S. ; Foley, S. ; Gong, L. ; Hartman, B. ; Heff, A.
PDF Url : ADA310944
Report Date : APR 1996
Pagination or Media Count : 278
Abstract : The Romulus security properties modeling environment contains tools, theories, and models that support the high- level design and analysis of secure systems. The Romulus nondisclosure tool supports development and analysis of distributed composite security models and their properties. The Romulus modeling approach establishes the models on a solid theoretical basis and uses formal mathematical too to aid in the analysis. Romulus allows a user to express a model of a secure system using a formal specification notation that combines graphics and text. Verification the model proves that it satisfies its critical properties. The user verifies the model by using a combination of automatic decision procedures and interactive theorem proving. The primary emphasis in the current system is the analysis of multilevel trusted system models to see if they satisfy nondisclosure properties. Romulus allows includes a tool for formally specifying and verifying authentication protocols. This tool can be used to reason about the beliefs of the parties engaged in a protocol in order to analyze whether the protocol achieves the desired behavior. The Romulus theories include formal theories of nondisclosure, integrity, and availability security. The Romulus library of models demonstrates the application of these theories.
Descriptors : *DATA PROCESSING SECURITY, *MODELS, *LIBRARIES, SYSTEMS ENGINEERING, ENVIRONMENTS, DECISION MAKING, VERIFICATION, DISTRIBUTION, SPECIFICATIONS, TOOLS, MODEL THEORY, AVAILABILITY, SYSTEMS ANALYSIS, AUTOMATIC.
Subject Categories : Computer Programming and Software
Computer Systems Management and Standards
Distribution Statement : APPROVED FOR PUBLIC RELEASE