Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019
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…
cs.CR2016
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…