Formal analysis of firewall policies
This dissertation describes a technique for formally analyzing a firewall security policy using a quasi-reduced multiway decision diagram model. The analysis allows a system administrator to detect and repair errors in the configuration of the firewall without a tedious manual inspection of the fire...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
W&M ScholarWorks
2008
|
| Subjects: | |
| Online Access: | https://scholarworks.wm.edu/etd/1539623528 https://scholarworks.wm.edu/cgi/viewcontent.cgi?article=3319&context=etd |