Towards a formal model for security policies specification and validation in the selinux system.
Giorgio ZaninLuigi V. ManciniPublished in: SACMAT (2004)
Keyphrases
- formal model
- security policies
- access control
- security requirements
- model based testing
- network security
- security management
- distributed systems
- security patterns
- security concerns
- security properties
- access control systems
- access control policies
- formal models
- predicate calculus
- security analysis
- dacs scheme
- knowledge discovery
- formal specification
- fine grained
- data processing