Crossmark

Verified iptables Firewall Analysis and Verification

Crossref DOI link: https://doi.org/10.1007/s10817-017-9445-1

Published Online: 2018-01-03

Published Print: 2018-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Diekmann, Cornelius

Hupel, Lars https://orcid.org/0000-0002-8442-856X
Michaelis, Julius

Haslbeck, Maximilian

Carle, Georg
Funding

Funding for this research was provided by:

European Comission (653884)

BMBF (16BP12304, 16KIS0472)
License Information

License valid from 2018-01-03