Semantics-Preserving Simplification of Real-World Firewall Rule Sets

Title:: Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Author(s):: Diekmann, Cornelius; Hupel, Lars; Carle, Georg
Book / Congress title:: 20th International Symposium on Formal Methods
Publisher:: Springer
Year:: 2015
Month:: jun
Pages:: 195-212
Print-ISBN:: 978-3-319-19248-2
Fulltext / DOI:: doi:10.1007/978-3-319-19249-9_13
BibTeX

Occurrences: