Christian Cachin, J. Camenisch, M. Dacier, Y. Deswarte, J. Dobson, D. Horne, K. Kursawe, J.-C. Laprie, J.-C. Lebraud, D. Long, T. McCutcheon, J. Müller, et al.  Home/Search
Context
Related
| di.fc.ul.pt/biblioteca/tech...005.pdf cs.ncl.ac.uk/research/trs/pape...707.ps ec.org/maftia/deliverables/D1.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.fc.ul.pt/biblioteca/techre... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document constitutes the first deliverable of MAFTIA work package. The objective of this work package is to define a consistent framework for ensuring the dependability of distributed applications in the face of a wide class of threats. In particular, the aim is to develop a coherent set of concepts for an architecture that can tolerate deliberately malicious faults, such as intrusions, in applications distributed over the Internet. The intrusions of concern include not only those... (Update)
Similar documents (at the sentence level):
17.7%: Malicious- and Accidental-Fault Tolerance for Internet.. - Powell, (eds.) (Correct)
8.3%: Service and Protocol Architecture for the MAFTIA Middleware - Veríssimo, Neves (2001) (Correct)
7.7%: The Middleware Architecture of MAFTIA: A Blueprint - Verssimo, Neves, Correia (2000) (Correct)
Active bibliography (related documents): More All
0.6: Failure Mode Assumptions and Assumption Coverage - Powell (1995) (Correct)
0.5: Diversity against Accidental and Deliberate Faults - Deswarte, Kanoun, Laprie (1998) (Correct)
0.5: Dependability and Its Threats: A Taxonomy - Avizienis, Laprie, Randell (Correct)
Similar documents based on text: More All
2.5: Conceptual Model and Architecture - Powell, (eds.) (1999) (Correct)
2.2: Complete Specification of APIs and Protocols for the MAFTIA.. - Neves, (eds.) (1999) (Correct)
1.6: On Dependability Concepts with respect to Deliberately.. - David Powell Yves (Correct)
BibTeX entry: (Update)
@misc{ cachin-maftia,
author = "Christian Cachin and J. Camenisch and M. Dacier and Y. Deswarte and J.
Dobson and D. Horne and K. Kursawe and J.-C. Laprie and J.-C. Lebraud and
D. Long and T. McCutcheon and J. M{\"u}ller et al.",
title = "{MAFTIA} --- reference Model and Use Cases",
url = "citeseer.ist.psu.edu/cachin00maftia.html" }
Citations (may not include all citations):1023 RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner et al. - 1996
739 Impossibility of Distributed Consensus with One Faulty Proce.. (context) - Fischer, Lynch et al. - 1985 ACM DBLP
645 How to Share a Secret (context) - Shamir - 1979 ACM DBLP
476 Implementing Remote Procedure Calls - Birrell, Nelson - 1984 ACM DBLP
470 Lightweight Causal and Atomic Group Multicast (context) - Birman, Schiper et al. - 1991 ACM
414 Unreliable Failure Detectors for Reliable Distributed System.. - Chandra, Toueg - 1996 ACM DBLP
412 Security Architecture for the Internet Protocol (context) - Kent, Atkinson - 1998
361 Reliable Communication in the Presence of Failures (context) - Birman, Joseph - 1987 ACM DBLP
317 Kerberos: an authentication service for open network systems - Steiner, Neumann et al. - 1988 DBLP
293 System Structure for Software Fault Tolerance (context) - Randell - 1975 ACM DBLP
244 Cryptography and Data Security (context) - Denning - 1982 ACM DBLP
241 The Byzantine Generals Problem - Lamport, Shostak et al. - 1982 ACM DBLP
214 Consensus in the Presence of Partial Synchrony - Dwork, Lynch et al. - 1988 ACM DBLP
214 Preserving and Using Context Information in Interprocess Com.. - Peterson, Buchholz et al. - 1989 ACM DBLP
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
178 Kerberos: An Authentication Service for Computer Networks (context) - Neuman, Ts'o - 1994
167 Error-Correcting Codes (context) - Peterson, Weldon - 1972
153 the Minimal Synchronism needed for Distributed Consensus (context) - Dolev, Dwork et al. - 1987
144 Atomic Broadcast: From Simple Message Diffusion to Byzantine.. - Cristian, Aghili et al. - 1985 DBLP
142 Synchronizing Clocks in the Presence of Faults (context) - Lamport, Melliar-Smith - 1985 ACM DBLP
138 Delta-4: a Generic Architecture for Dependable Distributed C.. (context) - Powell - 1991
132 How to Time Stamp a Digital Document - Haber, Stornetta - 1991
131 Optimistic Fair Exchange of Digital Signatures - Asokan, Shoup et al. - 2000
131 Distributed Process Groups in the V-Kernel (context) - Cheriton, Zwaenepoel - 1985
104 Clock Synchronization in Distributed Real-Time Systems (context) - Kopetz, Ochsenreiter - 1987 ACM DBLP
100 Optimistic Protocols for Fair Exchange - Asokan, Schunter et al. - 1997 ACM DBLP
98 Fault Tolerance --- Principles and Practice (context) - Anderson, Lee - 1981
91 Atomic Transactions (context) - Lampson - 1981 ACM DBLP
89 Untraceable Electronic Mail, Return Addresses, and Digital P.. (context) - Chaum - 1981 ACM DBLP
81 Lazy Replication: Exploiting the Semantics of Distributed Se.. - Ladin, Liskov et al. - 1990 ACM DBLP
79 Why do Computers Stop and What can be done about it - Gray - 1986
77 Composition and Integrity Preservation of Secure Reactive Sy.. - Pfitzmann, Waidner - 2000 ACM DBLP
69 Fault Tolerance in Concurrent Object-Oriented Software throu.. - Xu, Randell et al. - 1995
60 Efficient Dispersal of Information for Security, Load Balanc.. (context) - Rabin - 1989
44 Error Recovery in Asynchronous Systems (context) - Campbell, Randell - 1986 ACM DBLP
35 A Taxonomy of Computer Program Security Flaws (context) - Landwehr, Bull et al. - 1994
33 The Timed Asynchronous System Model - Cristian, Fetzer - 1998
33 Denial-of-Service Attacks Rip the Internet (context) - Garber - 2000 ACM DBLP
33 Definition and Analysis of Hardware-and-Software Fault-Toler.. (context) - Laprie, Arlat et al. - 1990
33 Agreeing on Who is Present and Who is Absent in a Synchronou.. (context) - Cristian - 1988
32 Towards a Taxonomy of Intrusion-Detection Systems (context) - Debar, Dacier et al. - 1999 ACM DBLP
31 Consensus with Dual Failure Modes (context) - Meyer, Pradhan - 1987 ACM DBLP
30 The Timely Computing Base: Timely Actions in the Presence of.. (context) - Verissimo, Casimiro et al. - 2000
27 A Security Risk of Depending on Synchronized Clocks - Gong - 1992 ACM DBLP
25 The Delta-4 Approach to Dependability in Open Distributed Co.. (context) - Powell, Bonn et al. - 1988
20 Quasi-Synchronism: a Step Away from the Traditional Fault-To.. (context) - Verssimo, Almeida - 1995
19 Exception Handling and Software Fault Tolerance (context) - Cristian - 1980 DBLP
17 Coordinated Exception Handling in Distributed Object Systems.. - Xu, Romanovsky et al. - 1998
15 Cryptographic Security of Reactive Systems (context) - Pfitzmann, Schunter et al. DBLP
14 Dependable Computing: Concepts, Limits, Challenges (context) - Laprie - 1995
14 Dependable Computing and Fault-Tolerant Systems (context) - Lee, Anderson et al. - 1990
14 Cesiumspray: a Precise and Accurate Global Time Service for .. (context) - Verissimo, Rodrigues et al. - 1997 DBLP
12 Topology-aware Algorithms for Large-scale Communication (context) - Rodrigues, Verissimo - 2000 ACM DBLP
12 Redundancy in Data Structures: Improving Software Fault Tole.. (context) - Taylor, Morgan et al. - 1980 DBLP
12 Designing Secure and Reliable Applications using FRS: an Obj.. - Fabre, Deswarte et al. - 1994 ACM
11 Rigorous Development of a Safety-Critical System Based on Co.. - Xu, Randell et al. - 1999
10 A ReplicationTransparent Remote Invocation Protocol - Rodrigues, Siegel et al. - 1994
10 Design Rules Based on Analyses of Human Error (context) - Norman - 1983 ACM DBLP
9 Software Reliability: The Role of Programmed Exception Handl.. (context) - Melliar-Smith, Randell - 1977 DBLP
9 the Reliability of Consensus-Based Fault-Tolerant Distribute.. (context) - Babaglu - 1987
9 Design of Self-Checking Software (context) - Yau, Cheung - 1975 ACM
9 Intrusion Tolerance in Distributed Systems (context) - Deswarte, Blain et al. - 1991
9 A Fault and Intrusion-Tolerant File System (context) - Fraga, Powell - 1985
9 On Implementing Fault-Tolerance in Binary Hypercubes (context) - Rennels - 1986
9 A Byzantine Resilient Fault-Tolerant Computer for Nuclear Po.. (context) - Lala - 1986
9 Dependable Computing and Fault-Tolerance (context) - Laprie, Dependability et al. - 1992
8 Intrusion-Tolerance using Fine-Grain Fragmentation-Scatterin.. (context) - Fray, Deswarte et al. - 1986 DBLP
8 AINT Misbehaving: A Taxonomy of Anti-Intrusion Techniques (context) - Halme, Bauer - 2000
7 Design of Fault-Tolerant Computers (context) - Avizienis - 1967
7 A Fault Tolerance Approach to Computer Viruses (context) - Joseph, Avizienis - 1988
7 IEEE CS Press (context) - Abrams, Jajodia et al. - 1995
6 Elsevier North-Holland (context) - Wakerly, Codes et al. - 1978
6 Fault-Tolerant Programming (context) - Elmendorf - 1972
5 Design of Dynamically Checked Computers (context) - Carter, Schneider - 1968 DBLP
5 Dependability Handbook (context) - Laprie, Arlat et al. - 1998
4 Low Cost Schemes for Fault Tolerance in Matrix Operations wi.. (context) - Huang, Abraham - 1982
4 A General Framework for Formal Notions of 'Secure' Systems - Pfitzmann, Waidner - 1994
3 High Performance Fault-Tolerant Real-Time Computer Architect.. (context) - Smith - 1986
3 Fault Tolerance, the Survival Attribute of Digital Systems (context) - Avizienis - 1978
3 A Design Methodology for High Reliability Systems: The Intel.. (context) - Siewiorek, Johnson - 1982
3 Fault-Tolerant Multiprocessor and VLSI-Based System Communic.. (context) - Pradhan - 1986 ACM
3 Theory of Modeling and Simulation (context) - Ziegler - 1976
2 Longman Group Limited (context) - English - 1976
2 Part 2: Security Architecture (context) - Model
2 Interactive Consistency and its Impact on the Design of TMR .. (context) - Frison, Wensley - 1982
2 Time, Clocks and Temporal Order (context) - Verissimo, Raynal - 2000
2 A Generalized Theory of Fail-Safe Systems (context) - Nicoladis, Noraz et al. - 1989
1 The Concept of Secure Information Processing Systems and The.. (context) - Dierstein - 1991
1 Towards Trustworthy Security for Healthcare Information Syst.. (context) - Trouessin - 2000
1 Reference Model and Use Cases (context) - Modern, Dictionary et al. - 1992
1 Prioritten fr eine verteilte, objektorientierte Zugriffskont.. (context) - Brggemann - 1993
1 Sicherheit von IT-Systemen als (context) - Biskup - 1993
1 IBM Research Report NRZ (context) - Pfitzmann, Schunter et al.
Documents on the same site (http://www.di.fc.ul.pt/biblioteca/tech-reports/): More
Analog Computers and the Iteration Functional - Campagnolo, Moore, Costa (Correct)
Scalable Atomic Multicast - Rodrigues, Guerraoui, Schiper (1998) (Correct)
Core-TyCO - The Language Definition Version 0.1 - Vasconcelos, Bastos (1998) (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