Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).
Bruce J. WalkerRichard A. KemmererGerald J. PopekPublished in: SOSP (1979)
Keyphrases
- extended abstract
- protocol specification
- formal verification
- high security
- integrity verification
- asynchronous circuits
- information security
- java card
- operating system
- intrusion detection
- formal methods
- communication protocols
- support vector
- cryptographic protocols
- formal specification
- high assurance
- kernel methods
- security policies
- kernel function
- formal analysis
- security requirements
- access control
- model checking
- image encryption
- countermeasures
- kernel machines
- database
- statistical databases
- network security
- data model
- feature extraction
- security analysis
- encryption scheme
- functional requirements
- security issues
- object oriented
- colored petri nets
- feature space
- high level