Macfarlane, Richard, Buchanan, William, Ekonomou, Elias, Uthmani, Omair, Fan, Lu, Lo, Owen, "Formal security policy implementations in network firewalls", Computers & Security, 2012