Model-based safety analysis of SELinux security policies.
Peter AmthorWinfried E. KühnhauserAnja PölckPublished in: NSS (2011)
Keyphrases
- security policies
- safety analysis
- access control
- nuclear power plant
- control system
- network security
- distributed systems
- symbolic model checking
- safety critical
- access control systems
- fault model
- condition monitoring
- real time
- learning algorithm
- information systems
- multi agent systems
- data mining
- access control policies