Analyzing Security-Enhanced Linux Policy Specifications.
Myla ArcherElizabeth I. LeonardMatteo PradellaPublished in: POLICY (2003)
Keyphrases
- functional requirements
- operating system
- access control
- information security
- security requirements
- security issues
- policy enforcement
- network security
- optimal policy
- intrusion detection
- databases
- open source
- database applications
- security mechanisms
- enterprise network
- security policies
- computer systems
- access control policies
- computer security
- security management
- written in natural language
- formal specification
- linux kernel
- policy makers
- software systems
- high level