A fault model and mutation testing of access control policies.
Evan MartinTao XiePublished in: WWW (2007)
Keyphrases
- fault model
- access control policies
- mutation testing
- conflict resolution
- access control
- test sequences
- distributed environment
- database applications
- test generation
- security policies
- test suite
- access control systems
- integration testing
- fine grained
- testing process
- finite state machines
- test cases
- trust negotiation
- model based diagnosis
- security mechanisms
- sensitive data
- distributed systems
- database management systems
- security requirements
- information flow
- black box
- loosely coupled
- database systems
- privacy preserving