Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ultan Neville
Reasoning About Firewall Policies Through Refinement and Composition
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Related publications
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Spotting Intrusion Scenarios From Firewall Logs Through a Case-Based Reasoning Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Firewall Configuration Management Using XACML Policies
Safe and Efficient Strategies for Updating Firewall Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems
International Journal of Information and Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Reasoning About Skills and Competencies
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Collaborative Enforcement of Firewall Policies in Virtual Private Networks
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning and Reasoning About Interruption
