Login
- Titel:
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
- Autor(en):
- Diekmann, Cornelius; Hupel, Lars; Carle, Georg
- Kongress- / Buchtitel:
- 20th International Symposium on Formal Methods
- Verlag / Institution:
- Springer
- Jahr:
- 2015
- Monat:
- jun
- Seiten:
- 195-212
- Print-ISBN:
- 978-3-319-19248-2
- Volltext / DOI:
- doi:10.1007/978-3-319-19249-9_13
BibTeX