Login
- Titel:
Verified iptables Firewall Analysis & Verification
- Autor(en):
- Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg
- Zeitschriftentitel:
- JAR
- Jahr:
- 2017
- Monat:
- dec
- Volltext / DOI:
- doi:10.1007/s10817-017-9445-1
- Hinweise:
- To appear
BibTeX