Foundations of Ulysses: The Theory of Security
Abstract
This is an interim report for the Computer Security Properties Modeling Environment (ULYSSES) contract. This report begins by discussing the goals of the theory of security used by ULYSSES and how previous formulations of computer security failed to meet these goals. Next, ORA presents their theory of security, which incorporates a model of information flow with a model of processes as event systems. Included is a proof which shows that this definition of security, called hook-up security, is composable; if two processes are hook- up secure and they are hooked up in a security fashion, then the resulting composite process is also hook-up secure. Finally, an illustration of the concept of hook-up security is presented by giving an example, a proof sketch that a simple process is hook-up secure. Keywords: Data processing security; Computer security; Hook up secure; Theory of security.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1988
- Accession Number
- ADA200110
Entities
People
- Daryl Mccullough