David Powell, Robert Stroud (eds.)  Home/Search
Context
Related
| ec.org/maftia/deliverables/D2fin.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: ec.org/maftia/deliverables/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: means in particular that these specifications should no longer be probabilistic (unless the service itself is probabilistic, e.g., for a coin flipping protocol). We have defined abstract specifications for two initial examples: secure point-to-point channels, in both the synchronous and the asynchronous timing model, and certified mail. We were indeed able to provide a specification by normal I/O automata that was not hard to translate into the formal language of CSP, used in the work... (Update)
Similar documents (at the sentence level):
20.4%: MAFTIA - reference Model and Use Cases - Cachin, Camenisch, Dacier.. (2000) (Correct)
Active bibliography (related documents): More All
1.1: Architectural Analysis of MAFTIA's Intrusion Tolerance.. - Welch, Wame, Ryan, Stroud (1999) (Correct)
0.7: Full design of Dependable Third Party Services - Cachin (2002) (Correct)
0.6: Failure Mode Assumptions and Assumption Coverage - Powell (1995) (Correct)
Similar documents based on text: More All
6.2: Conceptual Model and Architecture - Powell, (eds.) (1999) (Correct)
1.5: On Dependability Concepts with respect to Deliberately.. - David Powell Yves (Correct)
1.5: Complete Specification of APIs and Protocols for the MAFTIA.. - Neves, (eds.) (2002) (Correct)
BibTeX entry: (Update)
@misc{ powell-malicious,
author = "David Powell and Robert Stroud (eds.)",
title = "Malicious- and Accidental-Fault Tolerance for Internet Applications - Conceptual
Model and Architecture",
url = "citeseer.ist.psu.edu/474556.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
1065 Handbook of Applied Cryptography (context) - Menezes, van Oorschot et al. - 1996
1023 RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner et al. - 1996
645 How to Share a Secret (context) - Shamir - 1979
414 Unreliable Failure Detectors for Reliable Distributed System.. - Chandra, Toueg - 1996 ACM DBLP
412 Security Architecture for the Internet Protocol (context) - Kent, Atkinson - 1998
350 Implementing fault-tolerant services using the state machine.. - Schneider - 1990
345 Notes on database operating systems (context) - Gray - 1978
293 System Structure for Software Fault Tolerance (context) - Randell - 1975 ACM DBLP
256 Reaching Agreement in the Presence of Faults (context) - Pease, Shostak et al. - 1980 ACM DBLP
244 Cryptography and Data Security (context) - Denning - 1982 ACM DBLP
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
167 Error-Correcting Codes (context) - Peterson, Weldon - 1972
148 Principles of Transaction-Oriented Database Recovery (context) - Hrder, Reuter - 1983 ACM DBLP
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
104 Clock Synchronization in Distributed Real-Time Systems (context) - Kopetz, Ochsenreiter - 1987 ACM DBLP
98 Fault Tolerance --- Principles and Practice (context) - Anderson, Lee - 1981
97 Asynchronous consensus and broadcast protocols (context) - Bracha, Toueg - 1985 ACM DBLP
91 Atomic Transactions (context) - Lampson - 1981
79 Why do Computers Stop and What can be done about it - Gray - 1986
66 Defining Liveness (context) - Alpern, Schneider - 1985 ACM DBLP
60 Efficient Dispersal of Information for Security, Load Balanc.. (context) - Rabin - 1989
51 Random oracles in Constantinople: Practical asynchronous Byz.. - Cachin, Kursawe et al.
36 An Introduction to Shared Secret and/or Shared Control Schem.. (context) - Simmons - 1991
35 A Taxonomy of Computer Program Security Flaws (context) - Landwehr, Bull et al. - 1994
33 Definition and Analysis of Hardware-and-Software Fault-Toler.. (context) - Laprie, Arlat et al. - 1990
33 Denial-of-Service Attacks Rip the Internet (context) - Garber - 2000 ACM DBLP
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
30 The Oxford Modern English Dictionary, Oxford University Pres.. (context) - Modern, Oxford et al. - 1992
28 Fundamental Concepts of Dependability - Avizienis, Laprie et al. - 2001
27 A Security Risk of Depending on Synchronized Clocks - Gong - 1992
25 The Delta-4 Approach to Dependability in Open Distributed Co.. (context) - Powell, Bonn et al. - 1988
20 Failures-Divergences Refinement (context) - Systems, Ltd - 2000
20 Security Engineering (context) - Anderson - 2001 ACM
19 Exception Handling and Software Fault Tolerance (context) - Cristian - 1980 DBLP
19 A Transparent Light-Weight Group Service - Rodrigues, Guo et al. - 1996 ACM DBLP
16 Wiley and Sons (context) - Schneier, Cryptography - 1996
14 Cesiumspray: a Precise and Accurate Global Time Service for .. (context) - Verissimo, Rodrigues et al. - 1997 DBLP
14 Dependable Computing and Fault-Tolerant Systems (context) - Lee, Anderson et al. - 1990
14 Dependable Computing: Concepts, Limits, Challenges (context) - Laprie - 1995
14 A Semantic Study of Data Independence with Applications to M.. (context) - Lazic - 1999
12 Designing Secure and Reliable Applications using FRS: an Obj.. - Fabre, Deswarte et al. - 1994 ACM
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
10 Verifying End-To-End Protocols Using Induction with CSP/FDR - Creese, Reed - 1999 ACM DBLP
10 Appia, a flexible protocol kernel supporting multiple coordi.. - Miranda, Pinto et al. - 2001
10 Design Rules Based on Analyses of Human Error (context) - Norman - 1983 ACM DBLP
9 Design of Self-Checking Software (context) - Yau, Cheung - 1975 ACM
9 Software Reliability: The Role of Programmed Exception Handl.. (context) - Melliar-Smith, Randell - 1977
9 Dependable Computing and Fault-Tolerance (context) - Laprie, Dependability et al. - 1992
9 On Implementing Fault-Tolerance in Binary Hypercubes (context) - Rennels - 1986
9 the Reliability of Consensus-Based Fault-Tolerant Distribute.. (context) - Babaglu - 1987
9 Intrusion Tolerance in Distributed Systems (context) - Deswarte, Blain et al. - 1991
9 A Byzantine Resilient Fault-Tolerant Computer for Nuclear Po.. (context) - Lala - 1986
9 A Fault and Intrusion-Tolerant File System (context) - Fraga, Powell - 1985
8 AINT Misbehaving: A Taxonomy of Anti-Intrusion Techniques (context) - Halme, Bauer - 2000
7 The Common Intrusion Detection Framework Architecture (context) - Porras, Schnackenberg et al. - 2001
7 Design of Fault-Tolerant Computers (context) - Avizienis - 1967
7 A User-Centered, Modular Authorization Service Built on an R.. - Zurko, Simon et al. - 1999 DBLP
7 IEEE CS Press (context) - Abrams, Jajodia et al. - 1995
6 Fault-Tolerant Programming (context) - Elmendorf - 1972
6 Elsevier North-Holland (context) - Wakerly, Codes et al. - 1978
5 Design of Dynamically Checked Computers (context) - Carter, Schneider - 1968 DBLP
5 Power Analysis, What Is Now Possible (context) - Akkar, Bevan et al.
4 Low Cost Schemes for Fault Tolerance in Matrix Operations wi.. (context) - Huang, Abraham - 1982
4 Specification of Dependable Trusted Third Parties (context) - Cachin - 2001
4 A General Framework for Formal Notions of 'Secure' Systems - Pfitzmann, Waidner - 1994
3 A Design Methodology for High Reliability Systems: The Intel.. (context) - Siewiorek, Johnson - 1982
3 High Performance Fault-Tolerant Real-Time Computer Architect.. (context) - Smith - 1986
3 Theory of Modeling and Simulation (context) - Ziegler - 1976 ACM
3 Intrusion-Tolerant Security Server for Delta-4 (context) - Blain, Deswarte - 1990
3 Data Independence with Predicate Symbols (context) - Lazic, Roscoe - 1999
3 Fault Tolerance, the Survival Attribute of Digital Systems (context) - Avizienis - 1978
3 Fault-Tolerant Multiprocessor and VLSI-Based System Communic.. (context) - Pradhan - 1986 ACM
3 Data Independent Induction: CSP Model Checking of Arbitrary .. - Creese - 2001
3 Reference Model and Use Cases (context) - Cachin, Camenisch et al.
3 Dependability Guidebook (context) - Laprie, Arlat et al. - 1995
2 Part 2: Security Architecture (context) - Model
2 Towards a Taxonomy of Intrusion Detection Systems and Attack.. (context) - Alessandri - 2001
2 Time, Clocks and Temporal Order (context) - Verissimo, Raynal - 2000
2 Longman Group Limited (context) - English - 1976
2 Formal Model of Basic Concepts - Adelsbach, Pfitzmann - 2001
2 A Generalized Theory of Fail-Safe Systems (context) - Nicoladis, Noraz et al. - 1989
2 Interactive Consistency and its Impact on the Design of TMR .. (context) - Frison, Wensley - 1982
2 First Specification of APIs and Protocols for the MAFTIA Mid.. - Neves, Verssimo - 2001
2 Specification of Authorisation Services - Abghour, Deswarte et al. - 2001
1 Architecture (context) - Asokan, Baum-Waidner et al. - 2000 ACM DBLP
Documents on the same site (http://www.newcastle.research.ec.org/maftia/deliverables/): More
MAFTIA - reference Model and Use Cases - Cachin, Camenisch, Dacier.. (2000) (Correct)
Malicious- and Accidental-Fault Tolerance for.. - Abghour, Deswarte.. (1999) (Correct)
Full design of Dependable Third Party Services - Cachin (2002) (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