Structured specification of a Security Kernel.
Kenneth G. WalterSamuel I. SchaenWilliam F. OgdenWilliam C. RoundsD. G. ShumwayD. D. SchaefferK. J. BibaFranklyn T. BradshawS. R. AmesJ. M. GilliganPublished in: Reliable Software (1975)
Keyphrases
- security issues
- access control
- information security
- security level
- security mechanisms
- high level
- security problems
- security requirements
- intrusion detection
- information assurance
- network security
- security policies
- statistical databases
- kernel methods
- gaussian processes
- security threats
- security systems
- kernel function
- security measures
- support vector
- cyber security
- feature space
- security protocols
- kernel regression
- computer security
- specification language
- security properties
- neural network
- data management
- computer networks