Intrusion-tolerant middleware

IEEE Security and Privacy

Volumn 4, Issue 4, 2006, Pages 54-62

  Veríssimo, Paulo E ^a   Neves, Nuno F ^a   Cachin, Christian ^b   Poritz, Jonathan ^b   Powell, David ^c   Deswarte, Yves ^c   Stroud, Robert ^d   Welch, Ian ^d  

^a UNIVERSITY OF LISBON   (Portugal)

^b IBM RESEARCH ZURICH   (Switzerland)

^c CNRS   (France)

^d NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SOFTWARE; INTRUSION-TOLERANCE; MALICIOUS ATTACKS; MALICIOUS-AND ACCIDENTAL-FAULT TOLERANCE FOR INTERNET APPLICATIONS (MAFTIA);

ALGORITHMS; COMMUNICATION; COMPUTER CRIME; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; INTERNET; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SECURITY OF DATA;

MIDDLEWARE;

EID: 33747276448     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2006.95     Document Type: Review

References (15)

1. P. Veríssimo, N.F. Neves, and M. Correia, "Intrusion-Tolerant Architectures: Concepts and Design," Architecting Dependable Systems, LNCS 2677, R. Lemos, C. Gacek, and A. Rornanovsky, eds., Springer-Verlag, 2003, pp. 3-36.
2. D. Powell and R.J. Stroud, eds., Conceptual Model and Architecture of MAFTIA, Project MAFTIA Deliverable D21, Jan. 2003; www.maftia.org/maftia/ deliverables/D21.pdf.
3. R. Stroud et al., "A Qualitative Analysis of the Intrusion-Tolerant Capabilities of the MAFTIA Architecture," Proc. Int'l Conf. Dependable Systems and Networks (DSN 04), 2004, pp. 453-461.
4. M. Correia, P. Verissimo, and N.F. Neves, "The Design of a COTS Real-Time Distributed Security Kernel," Proc. 4th European Dependable Computing Conf., Springer Verlag, 2002, pp. 234-252.
5. Y. Deswarte et al., "An Intrusion-Tolerant Authorization Scheme for Internet Applications," Proc. Int'l Conf. Dependable Systems and Net works, IEEE CS Press, 2002, pp. C1.1-C1.6.
6. P. Veríssimo et al., "Intrusion-Tolerant Middleware: The MAFTIA Approach," tech. report DI/FCUL TR 04-14, Dept. of Informatics, Univ. of Lisbon, Nov. 2004.
7. P. Verissimo, "Uncertainty and Predictability: Can They Be Reconciled?" Future Directions in Distributed Computing, LNCS 2584, Springer-Verlag, 2003, pp. 108-113.
8. N.F. Neves, M. Correia, and P. Verissimo, "Solving Vector Consensus with a Wormhole," IEEE Trans. Parallel and Distributed Systems, vol. 16, no. 12, 2005, pp. 1120-1131.
9. C. Cachin and J.A. Porite, "Secure Intrusion-Tolerant Replication on the Internet," Proc. Int'l Conf. Dependable Systems and Networks, IEEE CS Press, 2002, pp. 167-176.
10. M.J. Fischer, N.A. Lynch, and M.S. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," J. ACM, vol. 32, no. 2, 1985, pp. 374-382.
11. C. Cachin, K. Kursawe, and V. Shoup, "Random Oracles in Constantinople: Practical. Asynchronous Byzantine Agreement Using Cryptography," Proc. 19th ACM Symp. Principles of Distributed Computing, ACM. Press, 2000, pp. 123-132.
12. C. Cachin et al., "Secure and Efficient Asynchronous Broadcast Protocols," Advances in Cryptology, LNCS 2139, J. Kilian, ed., Springer-Verlag, 2001, pp. 524-541.
13. M. Correia et al., "Low Complexity Byzantine-Resilient Consensus," Distributed Computing, vol. 17, no. 3, 2005, pp. 237-249.
14. M. Correia et al., "Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model," Proc. 21st IEEE Symp. Reliable Distributed Systems, IEEE CS Press, 2002, pp. 2-11.
15. M. Correia, N.F. Neves, and P. Verissimo, "How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems," Proc. 23rd IEEE Symp. Reliable Dis tributed Systems, IEEE CS Press, 2004, pp. 174-183.