Test Generation from Security Policies Specified in Or-BAC.
Keqin LiLaurent MounierRoland GrozPublished in: COMPSAC (2) (2007)
Keyphrases
- test generation
- security policies
- access control
- test cases
- network security
- symbolic execution
- test sequences
- security management
- access control systems
- distributed systems
- design automation
- security requirements
- static analysis
- quality assurance
- access control policies
- code coverage
- software testing
- access control mechanism
- database systems
- data mining