Verified Iptables Firewall Analysis and Verification
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-017-9445-1
Full Text
Open PDFAbstract
Available in full text
Date
January 3, 2018
Authors
Publisher
Springer Science and Business Media LLC