103 citations · 250 across the 29 of their papers we have counts for
4 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…
Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)
Ayyoob Hamza, Dinesha Ranathunga, H. Habibi Gharakheili +2
IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order…
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…