Tony Bourdier, Horatiu Cirstea
Symbolic analysis of network security policies using rewrite systems
PPDP, 2011.
@inproceedings{PPDP-2011-BourdierC, author = "Tony Bourdier and Horatiu Cirstea", booktitle = "{Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/2003476.2003489", isbn = "978-1-4503-0776-5", pages = "77--88", publisher = "{ACM}", title = "{Symbolic analysis of network security policies using rewrite systems}", year = 2011, }