%0 Journal Article %1 journals/jcs/NevilleF18 %A Neville, Ultan %A Foley, Simon N. %D 2018 %J J. Comput. Secur. %K dblp %N 2 %P 207-254 %T Reasoning about firewall policies through refinement and composition. %U http://dblp.uni-trier.de/db/journals/jcs/jcs26.html#NevilleF18 %V 26

@article{journals/jcs/NevilleF18, added-at = {2023-08-28T00:00:00.000+0200}, author = {Neville, Ultan and Foley, Simon N.}, biburl = {https://www.bibsonomy.org/bibtex/28285c8f7e375e916e1bbcfd5b5c391f2/dblp}, ee = {https://www.wikidata.org/entity/Q114944736}, interhash = {b197a2cfeb7f81f920bacf6a92a0f462}, intrahash = {8285c8f7e375e916e1bbcfd5b5c391f2}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 2, pages = {207-254}, timestamp = {2024-04-09T05:17:18.000+0200}, title = {Reasoning about firewall policies through refinement and composition.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs26.html#NevilleF18}, volume = 26, year = 2018 }