Amanote Research
Register
Sign In
An Automatic Verification Tool for Firewall Configurations
doi 10.22215/etd/2006-08385
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Feng Zheng
Publisher
Carleton University
Related search
Automatic Analysis of Firewall and Network Intrusion Detection System Configurations
Verified Iptables Firewall Analysis and Verification
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
AutoCap: An Automatic Tool Encapsulator
AstigMATIC: An Automatic Tool for Standard Astigmatism Vector Analysis
BMC Ophthalmology
Medicine
Ophthalmology
An Overview on Automatic Speaker Verification System Techniques
International Journal for Research in Applied Science and Engineering Technology
Automatic Palmprint Verification
International Journal of Image and Graphics
Computer Science Applications
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
Automatic Memory Reductions for RTL Model Verification
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Computer Science Applications
Computer Graphics
Computer-Aided Design
Software
DiVinE – A Tool for Distributed Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hierarchical Verification Using an MDG-HOL Hybrid Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
