Semantic search

From Navigators

Publications

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Design of a COTS Real-Time Distributed Security Kernel”, in Fourth European Dependable Computing Conference, Toulouse, France, October 2002© Springer-Verlag, http://www.springer.de/comp/lncs/, Oct. 2002.

• Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verissimo, “Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model”, in Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'2002), Suita, Japan, October 2002, Sept. 2002.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “Intrusion-Tolerant Architectures: Concepts and Design.”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-03-5, Department of Computer Science, University of Lisbon. April 2003

• J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

• Nuno Ferreira Neves, Paulo Verissimo, “First Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Sept. 2001. Technical Report DI/FCUL TR-01-6. Department of Computer Science, University of Lisbon. September 2001

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Architecture of a Secure Group Communication System Based on Intrusion Tolerance”, in in Proceedings of the International Workshop on Applied Reliable Group Communication, Phoenix, Arizona, USA, April 2001., Apr. 2001.

• Paulo Verissimo, Nuno Ferreira Neves, “Service and Protocol Architecture for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jan. 2001. Technical Report DI/FCUL TR-01-1. Department of Computer Science, University of Lisbon. January 2001

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The design of a COTS real-time distributed security kernel (extended version)”, Missing institution, Tech. Rep., Jan. 2001. Technical report, Department of Computer Science, University of Lisbon, 2001

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint”, in In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 2000., Oct. 2000.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint.”, Missing institution, Tech. Rep., Sept. 2000. Technical Report DI/FCUL TR 00-6, Department of Computer Science, University of Lisbon, September 2000.