Static reachability analysis and validation regarding security policies implemented via packet filters
Approved for public release, distribution unlimited === The ability to statically determine what kinds of packets can be exchanged between two hosts on a network is desirable to those who design and operate networks, but this is a difficult and complex problem. Factors affecting reachability anal...
Main Author: | Kantz, Stephen M. |
---|---|
Other Authors: | Xie, Geoffrey |
Published: |
Monterey, California. Naval Postgraduate School
2012
|
Online Access: | http://hdl.handle.net/10945/3586 |
Similar Items
-
Protocol validation via reachability analysis : an implementation
by: Hui, Daniel Hang-Yan
Published: (2010) -
Predicting host level reachability via static analysis of routing protocol configuration
by: McManus, Stephen C.
Published: (2012) -
Validating network security policies via static analysis of router ACL configuration
by: Wong, Eric Gregory Wen Wie
Published: (2012) -
An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
by: A. Y. Gerasimov, et al.
Published: (2018-10-01) -
Analysis of Linux OS security tools for packet filtering and processing
by: Dmitrij Melkov, et al.
Published: (2021-08-01)