NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA THESIS PREDICTING HOST LEVEL REACHABILITY VIA STATIC ANALYSIS OF ROUTING PROTOCOL CONFIGURATION by Stephen McManus, Jr. September…
