Verified iptables Firewall Analysis and Verification.

Cornelius Diekmann Lars Hupel Julius Michaelis Max W. Haslbeck Georg Carle

Published in: J. Autom. Reason. (2018)

Keyphrases

data analysis
database
statistical analysis
automatic analysis
information retrieval
multimedia
web services
three dimensional