Verified iptables Firewall Analysis and Verification

This article summarizes our efforts around the formally verified static analysis of iptables rulesets using Isabelle/HOL. We build our work around a formal semantics of the behavior of iptables firewalls. This semantics is tailored to the specifics of the filter table and supports arbitrary match ex...

Descripción completa

Detalles Bibliográficos
Autores principales: Diekmann, Cornelius, Hupel, Lars, Michaelis, Julius, Haslbeck, Maximilian, Carle, Georg
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2018
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044321/
https://www.ncbi.nlm.nih.gov/pubmed/30069072
http://dx.doi.org/10.1007/s10817-017-9445-1

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044321/
https://www.ncbi.nlm.nih.gov/pubmed/30069072
http://dx.doi.org/10.1007/s10817-017-9445-1

Ejemplares similares