A Formal Approach to Automatic Testing of Security Policies Specified in XACML.
Mohamed H. E. AouadiKhalifa ToumiAna R. CavalliPublished in: FPS (2014)
Keyphrases
- security policies
- access control
- model based testing
- access control policies
- security requirements
- security management
- distributed systems
- network security
- fine grained
- multilevel secure
- security concerns
- home network
- access control systems
- security mechanisms
- unauthorized access
- test cases
- data processing
- markup language
- information systems
- access control mechanism
- relational databases