See this document in CiteSeerX!

Design and Implementation of Property-Oriented Detection for Link State Routing Protocols (2001)  (Make Corrections)  
F. Wang, F. Gong, F Wu, H. Qi
Lecture Notes in Computer Science



  Home/Search   Context   Related

 
View or download:
utk.edu/publication/01pod.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  utk.edu/publication (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper presents a new intrusion detection approach, property-oriented analysis and detection (POD). We discuss both the generic paradigm of this new approach and our design and implementation experience within the context of link state routing system. A routing system is modeled as a set of distributed processes. A property is defined as a state predicate over system variables. For link state routing protocol, the overall converging property defined as the "equality" among routing... (Update)

Active bibliography (related documents):   More   All
0.6:   A Scalable Method for Router Attack Detection and.. - Chakrabarti, Manimaran (2002)   (Correct)
0.2:   JiNao: Design and Implementation of a Scalable.. - Wu, Chang, Jou..   (Correct)
0.2:   Sensor-Based Intrusion Detection for Intra-Domain.. - Mittal, Vigna (2002)   (Correct)

Similar documents based on text:   More   All
0.4:   Information Assurance Capacity Building: A Case Study - Falby, al. (2003)   (Correct)
0.3:   Performance Modeling of AFATDS and Other Applications.. - James, al. (2000)   (Correct)
0.3:   Trial-By-Fire in Information Assurance Education - Welch, Ragsdale, Schepens   (Correct)

BibTeX entry:   (Update)

@article{ wang01design,
    author = "Frank Wang and Grace Lian and Jeff Zheng",
    title = "Design Considerations for the Video Analyzer {SDK}",
    journal = "Lecture Notes in Computer Science",
    volume = "2195",
    pages = "677--??",
    year = "2001",
    url = "citeseer.ist.psu.edu/article/wang01design.html" }
Citations (may not include all citations):
716   Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
258   OSPF Version 2 (context) - Moy - 1997
56   A survey of intrusion detection techniques (context) - Lunt - 1993
36   Distributed snapshots: determining global states of distribu.. (context) - Chandy - 1985
19   Intrusion detection for link state routing protocol through .. - Wang, Gong et al. - 1999
17   Design and implementation of a scalable intrusion detection .. - Jou, Gong et al. - 1999
9   JiNao: design and implementation of a scalable intrusion det.. - Wu, Jou et al.
9   An experimental study of insider attacks on the OSPF routing.. - Vetter, Wang et al. - 1997
2   A property oriented fault detection approach for link state .. (context) - Wang, Gong et al. - 2000
1   the vulnerabilities and protection of OSPF routing protocol (context) - Wang, Wu - 1998
1   Statistical-based intrusion detection for OSPF routing proto.. (context) - Qu, Vetter et al. - 1998
1   Vulnerability analysis and protection for link state routing.. (context) - Wang - 1999
1   Fault-Tolerant Networking Through Intrusion Identification a.. (context) - Project - 2000
1   Real-time protocol analysis for link state routing (context) - Chang, Wu et al. - 1999
1   Intrusion Prevention and Detection for Link State Routing Pr.. (context) - Wang, Analysis - 2000

Documents on the same site (http://aicip.ece.utk.edu/publication.html):   More
Grid Coverage for Surveillance and Target Location in.. - Chakrabarty, Iyengar, .. (2002)   (Correct)
Mobile-agent-based Collaborative Signal and Information.. - Qi, Xu, Wang   (Correct)
Multisensor Data Fusion in Distributed Sensor Networks.. - Qi, Wang, Iyengar, al. (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC