Directed Acyclic Graph Modeling of Security Policies for Firewall Testing.
Tugkan TuglularÖzgür KayaCan Arda MuftuogluFevzi BelliPublished in: SSIRI (2009)
Keyphrases
- directed acyclic graph
- security policies
- network security
- access control
- security management
- model based testing
- intrusion detection
- equivalence class
- transitive closure
- access control systems
- random variables
- distributed systems
- security requirements
- directed graph
- intrusion detection system
- conditional independence
- network traffic
- security concerns
- causal models
- computer networks
- equivalence classes
- connected subgraphs
- structural learning
- test cases
- relational databases