Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli. Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 393-398, IEEE Computer Society, 2009. [doi]