Title :
A property oriented fault detection approach for link state routing protocol
Author :
Wang, Feiyi ; Gong, Fengmin ; Wu, Felix S.
Author_Institution :
MCNC, Research Triangle Park, NC, USA
Abstract :
This paper proposes a new approach to fault detection for a link state routing system-property oriented analysis and detection (POD). A routing system is modeled as a set of distributed processes. A property is defined as state predicate(s) over system variables. For the link state routing protocol, the high-level overall converging property P is defined as the “synchronization” among routing information bases maintained by all processes. We decompose the routing protocol into different computation phases. For each phase, we use invariant state predicates (safety property) and the liveness property as our guide for observation and analysis. The goal of the detection algorithm is to construct a validation path based on the history to determine if the fault is natural or malicious once the stable property P is rendered invalid by faults. The contribution of this paper is twofold: first, a new detection approach is proposed that differs from traditional signature-based or profile-based intrusion detection paradigms in the sense that it utilizes the stable property as a starting point, and correlates the history and future to validate changes in the system; second, by exploring the primary concerned system properties, we show that detection effort can be conducted in a more focused and systematic fashion
Keywords :
authorisation; computer network management; computer network reliability; protocols; synchronisation; telecommunication network routing; distributed processes; fault detection; intrusion detection; invariant state predicates; link state routing protocol; liveness property; malicious fault; natural fault; property oriented analysis; safety property; synchronization; system variables; validation path; ARPANET; Computer science; Costs; Detection algorithms; Fault detection; History; Intrusion detection; Routing protocols; Safety; Topology;
Conference_Titel :
Computer Communications and Networks, 2000. Proceedings. Ninth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7803-6494-5
DOI :
10.1109/ICCCN.2000.885479