Det primära syftet med ett nätverk är att ge tillgänglighet mellan program som körs på slutvärdar. I detta dokument beskriver vi hur man beräknar tillgängligheten ett nätverk ger från en ögonblicksbild av konfigurationstillståndet från var och en av routrarna. Vårt främsta bidrag är den exakta definitionen av den potentiella reacliabiEi@ av ett nätverk och en substantia! Förenkling av problemet genom en enhetlig modellering av paketfilter och routingprotokoll. I slutändan minskar vi ett komplext, viktigt praktiskt problem för att beräkna den transitiva stängningen för att sätta fackförenings- och skärningsoperationer på nåbarhet ställa representationer. Vi utökar sedan vår algoritm för att modellera påverkan av paketomvandlingar (t.ex. av NAls eller ToS ommapping) längs vägen. Vår teknik för statisk analys av nätverkstillgänglighet är värdefull för att verifiera syftet med nätverksdesignern, felsökning av tillgänglighetsproblem och utföra "vad-if" analys av felscenarier.
Mot off-line-verifieringen, Xie et al. REF föreslog först en metod som tillsammans resonerar om hur varje beteende påverkar tillgängligheten från en ögonblicksbild av konfigurationstillståndet för varje router för statisk åtkomlighetsanalys.
On static reachability analysis of IP networks
{'venue': 'Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies.', 'journal': 'Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies.', 'mag_field_of_study': ['Computer Science']}