11 citations · 15 across the 14 of their papers we have counts for
3 papers · 1 filter
Boolean Expressions in Firewall Analysis
Adam Hamilton, Matthew Roughan, Giang T. Nguyen
Firewall policies are an important line of defence in cybersecurity, specifying which packets are allowed to pass through a network and which are not. These firewall policies are m…
ForestFirewalls: Getting Firewall Configuration Right in Critical Networks (Technical Report)
Dinesha Ranathunga, Matthew Roughan, Paul Tune +2
Firewall configuration is critical, yet often conducted manually with inevitable errors, leaving networks vulnerable to cyber attack [40]. The impact of misconfigured firewalls can…
The Mathematical Foundations for Mapping Policies to Network Devices (Technical Report)
Dinesha Ranathunga, Matthew Roughan, Phil Kernick +1
A common requirement in policy specification languages is the ability to map policies to the underlying network devices. Doing so, in a provably correct way, is important in a secu…