Formal Specification of a Multi-Level Secure Operating System.
Tanya KorelskyDavid SutherlandPublished in: IEEE Symposium on Security and Privacy (1984)
Keyphrases
- operating system
- formal specification
- security mechanisms
- previously mentioned
- model checking
- application level
- object oriented design
- computer systems
- process algebra
- virtual machine
- distributed systems
- formal methods
- discretionary access control
- address space
- reverse engineering
- high assurance
- memory management
- virtual memory
- software components
- microsoft windows
- operating environment
- concurrent systems
- security requirements
- relational databases
- windows xp
- information systems
- business processes
- machine learning