LOFT - Verified Migration of Linux Firewalls to SDN.

Julius Michaelis Cornelius Diekmann

Published in: Arch. Formal Proofs (2016)

Keyphrases

operating system
open source
file system
database applications
network security
red hat
database design
neural network
information retrieval
artificial intelligence
case study
intrusion detection system
command line
windows nt
linux kernel