Ultan Neville

According to our database1, Ultan Neville authored at least 6 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Reasoning about firewall policies through refinement and composition
Journal of Computer Security, January, 2018

2017
Reasoning About Firewall Policies Through Refinement and Composition
PhD thesis, February, 2017

2016
Reasoning About Firewall Policies Through Refinement and Composition.
Proceedings of the Data and Applications Security and Privacy XXX, 2016

2015
A firewall algebra for OpenStack.
Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

2013
MASON: Mobile autonomic security for network access controls.
J. Inf. Sec. Appl., 2013

2012
Automated Smartphone Security Configuration.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012


  Loading...