Specification and Verification of the UCLA Unix Security Kernel.
Bruce J. WalkerRichard A. KemmererGerald J. PopekPublished in: Commun. ACM (1980)
Keyphrases
- protocol specification
- formal verification
- high security
- asynchronous circuits
- java card
- integrity verification
- formal methods
- security policies
- operating system
- cryptographic protocols
- model checking
- intrusion detection
- access control
- feature space
- specification language
- network security
- security requirements
- information security
- high level
- security mechanisms
- user friendly
- statistical databases
- functional requirements
- kernel methods
- security issues
- high assurance
- security analysis
- support vector
- formal specification
- kernel function
- colored petri nets
- face verification
- security level
- security model
- data integrity
- computer security
- database
- feature selection