Reasoning About Firewall Policies Through Refinement and Composition.

Ultan Neville Simon N. Foley

Published in: DBSec (2016)

Keyphrases

spatial reasoning
network traffic
network security
refinement process
intrusion detection
intrusion detection system
web service composition
formal theory
security enforcement
machine learning
optimal solution
optimal policy
management policies
music composition
packet filtering