Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy.
James Bret MichaelEdgar H. SibleyDavid C. LittmanPublished in: NSPW (1993)
Keyphrases
- security policies
- model based testing
- formal models
- access control
- software testing
- network security
- security management
- network management
- security concerns
- distributed systems
- access control systems
- knowledge base
- security architecture
- model based diagnosis
- access control policies
- young students
- ubiquitous computing environments
- test cases
- security requirements
- home network
- computer systems
- computer networks
- unauthorized access
- query processing
- optimal solution