Directed Acyclic Graph Modeling of Security Policies for Firewall Testing

doi 10.1109/ssiri.2009.52