Ultan Neville

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Algebraic Expressions

Refinement Process

Intrusion Detection

Top Venues

J. Inf. Secur. Appl.

J. Comput. Secur.

Publications

Ultan Neville, Simon N. Foley
Reasoning about firewall policies through refinement and composition. J. Comput. Secur. 26 (2) (2018)
Ultan Neville, Simon N. Foley
Reasoning About Firewall Policies Through Refinement and Composition. DBSec (2016)
Simon N. Foley, Ultan Neville
A firewall algebra for OpenStack. CNS (2015)
William M. Fitzgerald, Ultan Neville, Simon N. Foley
MASON: Mobile autonomic security for network access controls. J. Inf. Secur. Appl. 18 (1) (2013)
William M. Fitzgerald, Ultan Neville, Simon N. Foley
Automated Smartphone Security Configuration. DPM/SETOP (2012)