You are here

Reasoning About Firewall Policies Through Refinement and Composition

Date: 
Wednesday, 20 July, 2016
Event Type: 
Conference
Presentation Type: 
Paper
Event: 
30th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2016)
Location: 
Italy
Insight Researchers: