Ultan Neville, Simon N. Foley. Reasoning about firewall policies through refinement and composition. Journal of Computer Security, 26(2):207-254, 2018. [doi]
@article{NevilleF18, title = {Reasoning about firewall policies through refinement and composition}, author = {Ultan Neville and Simon N. Foley}, year = {2018}, doi = {10.3233/JCS-17971}, url = {https://doi.org/10.3233/JCS-17971}, researchr = {https://researchr.org/publication/NevilleF18}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {26}, number = {2}, pages = {207-254}, }