U. Neville and S.N. Foley. Reasoning about firewall policies through refinement and composition.
Journal of Computer Security, 26(2):207-254, 2018. [DOI][BibTeX][PDF]
U.J. Neville. Reasoning About Firewall Policies Through Refinement and Composition. PhD thesis, University College Cork, Ireland, 2017. [DOI][BibTeX][PDF]
U. Neville and S.N. Foley. Reasoning About Firewall Policies Through Refinement and Composition.
In Data and Applications Security and Privacy
XXX: 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy,
July 18-20, 2016. Proceedings, 2016. [DOI][BibTeX][PDF]
S.N. Foley and U. Neville. A Firewall Algebra for OpenStack. In 2015 IEEE
Conference on Communications and Network Security, CNS 2015, Florence,
Italy, September 28-30, 2015, pages 541-549. IEEE, 2015. [DOI][BibTeX][PDF]
W.M. Fitzgerald, U. Neville, and S.N. Foley. MASON: Mobile Autonomic
Security for Network Access Controls. Journal of Information Security and
Applications (JISA), 18(1):14-29, 2013. [DOI][BibTeX][PDF]
W.M. Fitzgerald, U. Neville, and S.N. Foley. Automated Smartphone Security Configuration. In Data Privacy Management and Autonomous Spontaneous Security, 7th International
Workshop, DPM 2012, and 5th International Workshop, SETOP 2012,
Pisa, Italy, September 13-14, 2012. Revised Selected Papers, pages 227-242, 2012. [DOI][BibTeX][PDF]