Proof of separability: A verification technique for a class of a security kernels.
John M. RushbyPublished in: Symposium on Programming (1982)
Keyphrases
- high security
- neural network
- integrity verification
- intrusion detection
- security policies
- security requirements
- formal proof
- access control
- kernel function
- class separability
- cryptographic protocols
- security issues
- verification method
- security systems
- security protocols
- key management
- theorem proving
- inference rules
- model checking
- multi class
- high dimensional
- feature space