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...

Full description

Bibliographic Details
Main Author: Kantz, Stephen M.
Other Authors: Xie, Geoffrey
Published: Monterey, California. Naval Postgraduate School 2012
Online Access:http://hdl.handle.net/10945/3586