Paulo Veríssimo, Nuno Ferreira Neves  Home/Search
Context
Related
| di.fc.ul.pt/biblioteca/tec...011.ps.gz cs.ncl.ac.uk/research/trs/pape...721.ps 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 describes the specification of the MAFTIA middleware architecture. This specification focusses on the models, building blocks and services. It describes the tradeoffs made in terms of models, the choices of building blocks and their topology, and the portfolio of services to be offered by the MAFTIA middleware to applications and highlevel services. In particular, regarding the system model, it presents a detailed discussion on the fault, synchrony, topological, and group models,... (Update)
Similar documents (at the sentence level): More
11.8%: MAFTIA - reference Model and Use Cases - Cachin, Camenisch, Dacier.. (2000) (Correct)
10.1%: Distributing Trust on the Internet - Cachin (2000) (Correct)
9.0%: The Middleware Architecture of MAFTIA: A Blueprint - Veríssimo, Neves.. (2000) (Correct)
Active bibliography (related documents): More All
1.8: Lessons Learned with NAVTECH: a Framework for Reliable.. - Veríssimo (Correct)
0.6: Secure and Efficient Asynchronous Broadcast Protocols - Cachin, Kursawe, Petzold.. (2001) (Correct)
0.5: Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (Correct)
Similar documents based on text: More All
4.6: Complete Specification of APIs and Protocols for the MAFTIA.. - Neves, (eds.) (1999) (Correct)
1.6: First Specification of APIs and Protocols for the MAFTIA.. - Neves, Verissimo (2001) (Correct)
1.6: Conceptual Model and Architecture - Powell, (eds.) (1999) (Correct)
BibTeX entry: (Update)
@misc{ verissimo-service,
author = "Paulo Ver\'issimo and Nuno Ferreira Neves",
title = "Service and Protocol Architecture for the {MAFTIA} Middleware",
url = "citeseer.ist.psu.edu/439734.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. - 1997 ACM
739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985 ACM DBLP
725 Temporal and modal logic (context) - Emerson - 1990 ACM DBLP
659 Random oracles are practical: A paradigm for designing ecien.. - Bellare, Rogaway - 1993
476 Implementing remote procedure calls - Birrell, Nelson - 1984 ACM DBLP
470 Lightweight causal and atomic group multicast (context) - Briman, Schiper et al. - 1991 ACM
470 Lightweight causal and atomic group multicast (context) - Birman, Schiper et al. - 1991 ACM
373 clocks and the ordering of events in a distributed system (context) - Lamport - 1978
361 Reliable communication in the presence of failures (context) - Briman, Joseph - 1987 ACM DBLP
239 Cryptography: Theory and Practice (context) - Stinson - 1995
235 Practical Byzantine fault tolerance - Castro, Liskov - 1999 ACM DBLP
214 Preserving and using context information in interprocess com.. - Peterson, Buchholz et al. - 1989 ACM DBLP
214 Consensus in the presence of partial synchrony - Dwork, Lynch et al. - 1988 ACM DBLP
179 Security and composition of multiparty cryptographic protoco.. - Canetti - 2000 DBLP
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994 ACM DBLP
138 Delta-4: A Generic Architecture for Dependable Distributed P.. (context) - Powell - 1991
132 Timestamps in message-passing systems that preserve the part.. (context) - Fidge - 1988
131 Distributed process groups in v-kernel (context) - Cheriton, Zwaenepoel - 1985
129 Group communication in the amoeba distributed operating syst.. (context) - Kaashoek, Tanenbaum - 1991
125 ACM Transactions on Computer Systems (context) - Chang, Maxemchuck et al. - 1984
121 Secure agreement protocols: Reliable and atomic group multic.. - Reiter - 1994 DBLP
120 Secure computation (context) - Micali, Rogaway - 1992
110 Detecting causal relationships in distributed computations: .. - Schwarz, Mattern - 1991 DBLP
110 Casper: A compiler for the analysis of security protocols - Lowe - 1997 DBLP
104 Clock synchronization in distributed real-time systems (context) - Kopetz, Ochsenreiter - 1987 ACM DBLP
101 Atomic Transactions (context) - Lynch - 1993 ACM DBLP
97 Fast message ordering and member-ship using a logical token-.. - Amir, Moser et al. - 1993
97 Asynchronous consensus and broadcast protocols (context) - Bracha, Toueg - 1985 ACM DBLP
95 Practical threshold signatures - Shoup - 2000 DBLP
89 Implementing fault-tolerant services using the state machine.. (context) - Schneider - 1990 ACM DBLP
85 Optimal clock synchronization - Srikanth, Toueg - 1987 ACM DBLP
84 Multicast transport protocol (context) - Marzullo, Armstrong et al. - 1992
81 Lazy replication: Exploiting the semantics of distributed se.. - Ladin, Liskov et al. - 1990 ACM DBLP
77 Composition and integrity preservation of secure reactive sy.. - Ptzmann, Waidner - 2000 ACM DBLP
75 Unreliable failure detectors for reliable distributed system.. - Chandra, Toueg - 1996 ACM DBLP
74 Model for asynchronous reactive systems and its application .. - Ptzmann, Waidner
73 Randomized Byzantine generals (context) - Rabin - 1983 DBLP
69 Fault tolerance in concurrent object-oriented software throu.. - Xu, Randell et al. - 1995 ACM DBLP
65 Securing threshold cryptosystems against chosen ciphertext a.. - Shoup, Gennaro - 1998 DBLP
63 Kerberos: An authentication service for open network systems (context) - Steiner, ord et al. - 1988 DBLP
52 Intrusion tolerance in distributed computing systems - Deswarte, Blain et al. - 1991 DBLP
51 Random oracles in Constantinople: Practical asynchronous Byz.. - Cachin, Kursawe et al. - 2000
48 The Delta-4 approach to dependability in open distributed co.. (context) - Powell, Seaton et al. - 1988
45 General secure multi-party computation from any linear secre.. - Cramer, Damg et al. - 2000
44 IEEE Transactions on Parallel and Distributed Systems (context) - Melliar-Smith, Moser et al. - 1990
43 Another advantage of free choice: Completely asynchronous ag.. (context) - Ben-Or - 1983
43 European Transactions on Telecommunications (context) - Desmedt - 1994
40 Player simulation and general adversary structures in perfec.. - Hirt, Maurer - 2000
39 New multi-party authentication services and key agreement pr.. - Ateniese, Steiner et al. - 2000
39 How to securely replicate services (context) - Reiter, Birman - 1994 ACM DBLP
38 IEEE Transactions on Software Engineering (context) - Campbell, Randell et al. - 1986
36 Proactive security: Long-term protection against break-ins - Canetti, Gennaro et al. - 1997
33 The timed asynchronous system model - Christian, Fetzer - 1998
33 Totally ordered multicast in largescale systems - Rodrigues, Fonseca et al. - 1996
31 Next steps for the IP QoS architecture (context) - Huston - 2000
31 Consensus with dual failure modes (context) - Meyer, Pradhan - 1987 ACM DBLP
26 Distributed pseudo-random functions and KDCs - Naor, Pinkas et al. - 1999
25 Formal modeling and analysis of the hla component integratio.. - Allen, Garlan et al. - 1998 ACM DBLP
24 Why chosen ciphertext security matters - Shoup - 1998
23 The state machine approach: A tutorial (context) - Schneider - 1986 ACM DBLP
23 Fast asynchronous Byzantine agreement with optimal resilienc.. (context) - Canetti, Rabin - 1993 ACM DBLP
22 Consensus: The big misunderstanding - Guerraoui, Schiper - 1997
22 Early delivery totally ordered multicast in asynchronous env.. - Dolev, Kramer et al. - 1993 DBLP
20 Experimental study of internet stability and backbone failur.. (context) - Labovitz, Ahuja et al. - 1999 ACM DBLP
19 Secure reactive systems - Ptzmann, Schunter et al. - 2000
19 A transparent light-weight group service - Rodrigues, Guo et al. - 1996 ACM DBLP
14 A semantic study of data-independence with applications to t.. (context) - Lazic - 1999
14 The design of a group key agreement API - Ateniese, Chevassut et al. - 1999
13 Causal separators for large-scale multicast communication (context) - Rodrigues, Ver - 1995 ACM DBLP
13 CORBAservices: Common Object Services Specication : OMG Docu.. (context) - Group - 1995
12 Topology-aware algorithms for large-scale communication (context) - Rodrigues, Ver - 2000 ACM DBLP
11 Rigorous development of a safety-critical system based on co.. - Xu, Randell et al. - 1999 ACM DBLP
10 Replication-transparent remote invocation protocol - Rodrigues, Siegel et al. - 1994
10 IEEE Computer Society Press (context) - Abrams, Jajodia et al. - 1995
9 Reliable multicast between micro-kernels - van Renesse, Birman et al. - 1992 ACM DBLP
8 Quasi-synchronism: a step away from the traditional fault-to.. - Ver, Almeida - 1995
8 Cesiumspray: a precise and accurate global time service for .. (context) - Verssimo, Rodrigues et al. - 1997 DBLP
8 The timely computing base: Timely actions in the presence of.. - Ver, Ant et al. - 2000
8 The timely computing base: Timely actions in the presence of.. - Ver, Ant et al. - 2000
8 Concurrent exception handling and resolution in distributed .. (context) - Xu, Romanovsky et al. - 2000 ACM DBLP
7 Randomized distributed agreement revisited (context) - Berman, Garay - 1993 DBLP
7 Department of Computer Science (context) - Ver, Ant et al. - 1999
7 Byzantine-resistant total ordering algorithms (context) - Moser, Melliar-Smith - 1999
6 Abstractions for devising Byzantine-resilient state machine .. (context) - Doudou, Garbinato et al. - 2000 ACM DBLP
6 the reliability of consensus-based fault-tolerant distribute.. (context) - glu - 1987
5 The middleware architecture of MAFTIA: A blueprint - Ver, Nuno et al. - 2000
5 Clock synchronization with faults and recoveries - Barak, Halevi et al. - 2000
4 Failures-divergences renement (context) - Systems, Ltd
4 Using rule-based activity descriptions to evaluate intrusion.. (context) - Alessandri - 1907
4 Enhancing large-scale communication with failure suspectors .. (context) - ao - 1995
3 Verifying an innite family of inductions simultaneously usin.. (context) - Creese, Roscoe
3 Cesiumspray: a precise and accurate global time service for .. - Ver, Rodrigues et al. - 1997
3 Two approaches for high concurrency in multicastbased object.. - Johnson, Maugis - 1994
3 the minimal synchronysm needed for distributed consensus (context) - Dolev, Dwork et al. - 1987
2 The architecture of a secure group communication system base.. - Correia, Ver et al. - 2001 ACM
2 Group orientation: a paradigm for modern distributed systems - Ver, Rodrigues - 1992 ACM DBLP
1 clocks and temporal order (context) - Ver, Michel et al. - 2000
1 A security risk of depending on synchronyzed clocks (context) - Gong - 1992
1 Atomic broadcast: From simple message di usion to byzantine .. (context) - Christian, Aghili et al. - 1985
1 Secure key generation for distrege-log based cryptosystems (context) - Gennaro, Jarecki et al. - 1999
1 IP QoS: Traveling in rst class on the internet (context) - Metz - 1999
1 Rtp: A trasnport protocol for real-time applications (context) - Schulzrinne, Casner 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