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]
@inproceedings{TuglularKMB09,
title = {Directed Acyclic Graph Modeling of Security Policies for Firewall Testing},
author = {Tugkan Tuglular and Özgür Kaya and Can Arda Muftuoglu and Fevzi Belli},
year = {2009},
doi = {10.1109/SSIRI.2009.52},
url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2009.52},
tags = {modeling, testing, graph-rewriting, security, rewriting},
researchr = {https://researchr.org/publication/TuglularKMB09},
cites = {0},
citedby = {0},
pages = {393-398},
booktitle = {Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010},
publisher = {IEEE Computer Society},
}