Hybrid Multi-module Security Policy Verification.
Igor V. KotenkoOlga ChervatukEkaterina SidelnikovaArtem TishkovPublished in: POLICY (2007)
Keyphrases
- security policies
- access control
- network security
- security management
- security concerns
- distributed systems
- security requirements
- model checking
- verification method
- network management
- access control policies
- fine grained
- security architecture
- security measures
- access control systems
- distributed environment
- business process
- dimensionality reduction
- home network
- unauthorized access