See this document in CiteSeerX!

An Architectural Concept for Intrusion Tolerance in Air Traffic Networks (2003)  (Make Corrections)  
Jeffrey M. Maddalon Paul S. Miner jeffrey.m.



  Home/Search   Context   Related

 
View or download:
nasa.gov/ltrs/PDF/...20033icnsjmm.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  nasa.gov/ltrs/cit (more)
(Enter author homepages)

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

Abstract: The goal of an intrusion tolerant network is to continue to provide predictable and reliable communication in the presence of a limited number of compromised network components. The behavior of a compromised network component ranges from a node that no longer responds to a node that is under the control of a malicious entity that is actively trying to cause other nodes to fail. Most current data communication networks do not include support for tolerating unconstrained misbehavior of components ... (Update)

Active bibliography (related documents):   More   All
0.5:   Towards A Team of Robots with Repair Capabilities: A Visual.. - Bererton, Khosla (2000)   (Correct)
0.3:   A Unified Fault-Tolerance Protocol - Miner, Geser, Pike, Maddalon (2004)   (Correct)
0.3:   Model Checking Failed Conjectures in Theorem Proving: A.. - Pike, Miner.. (2004)   (Correct)

Similar documents based on text:   More   All
0.3:   Design Structures for Formally Verified Floating Point Units - Leathrum, Jr., Miner (1997)   (Correct)
0.3:   Cv - Miner   (Correct)
0.3:   Specification of the IEEE-854 Floating-Point Standard in HOL.. - Carreņo, Miner (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ paul-architectural,
  author = "Jeffrey Maddalon Paul",
  title = "An Architectural Concept for Intrusion Tolerance in Air Traffic Networks",
  url = "citeseer.ist.psu.edu/618683.html" }
Citations (may not include all citations):
235   Practical Byzantine fault tolerance - Castro, Liskov - 1999  ACM   DBLP
120   ACM Transactions on Programming Languages and Systems (context) - Lamport, Shoshtak et al. - 1982
98   Real-time Systems Design Principles for Distributed Embedded.. (context) - Kopetz - 1997
55   Interactive Consistency with multiple failure modes (context) - Thambidurai, Park - 1988  DBLP
44   Distributing trust with the Rampart toolkit (context) - Reiter - 1996  ACM
8   A conceptual design for a reliable optical bus (context) - Miner, Malekpour et al. - 2002
5   A New On-line Diagnosis Protocol for the SPIDER Family of By.. (context) - Geser, Miner - 2003
4   Building reliable secure systems out of unreliable insecure .. (context) - Randell, Dobson - 1986
2   impairments and means (context) - Laprie, attributes - 1995
1   Intrusion tolerant systems - Pal, Webber et al. - 2000  ACM
1   DARPA Information Technology Security Workshop (context) - Rushby, fault - 1999

Documents on the same site (http://techreports.larc.nasa.gov/ltrs/cit.html):   More
Formal Verification of the Interactive Convergence Clock.. - Rushby, von Henke (1991)   (Correct)
Using the MCPLXS Generator for Technology Transfer - Moore, al. (1987)   (Correct)
An Overview of Particle Sampling Bias - Edwards, Meyers   (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