- Author(s):
- Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg
- Title:
- Verified iptables Firewall Analysis & Verification
- Journal title:
- JAR
- Year:
- 2017
- Month:
- dec
- Fulltext / DOI:
- doi:10.1007/s10817-017-9445-1
- Notes:
- To appear
BibTeX