Universidade de Lisboa: Publications

This is a list of MAFTIA-related publications from the Universidade de Lisboa.

P. Veríssimo, A. Casimiro and C. Fetzer, The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
In Proceedings of the International Conference on Dependable Systems and Networks, New York, USA, June 2000
Available from http://www.navigators.di.fc.ul.pt/archive/dsn00.pdf

P. Veríssimo, N. F. Neves and M. Correia, The middleware architecture of MAFTIA: A Blueprint (extended)
Technical Report DI/FCUL TR 00-6. September 2000

P. Veríssimo, N. F. Neves, M. Correia, The Middleware Architecture of MAFTIA: A Blueprint
In Proceedings of the 3rd IEEE Survivability Workshop (ISW), Boston, USA, October 2000
Available from http://www.navigators.di.fc.ul.pt/archive/isw00.pdf

M. Correia , P. Verissimo and N.F. Neves, The architecture of a secure group communication system based on intrusion tolerance
In Proceedings of the 21st International Conference on Distributed Computing Systems Workshops. International Workshop on Applied Reliable Group Communication (WARGC), Phoenix (USA), April 2001, pp 17-22
Available from http://www.navigators.di.fc.ul.pt/archive/argc01.pdf

Correia,M., Veríssimo, P. and Neves,N.F., The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)
DI/FCUL TR 01-12, Department of Computer Science, University of Lisboa, December 2001

M.Correia , L. Lung, N. F. Neves, P. Verissimo, Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS), Osaka, Japan, October 2002 pp 2-11
Available from http://www.navigators.di.fc.ul.pt/archive/brm-srds02.ps

M. Correia , P. Verissimo , N. F. Neves, The Design of COTS Real-Time Distributed Security Kernel
In Proceedings of the 4th European Dependable Computing Conference (EDCC) Toulouse, France, October 2002, pp 234-252
Available from http://www.navigators.di.fc.ul.pt/archive/ttcb-edcc.ps

Veríssimo, P., Intrusion Tolerance: Concepts and Design Principles. A Tutorial
Technical Report DI/FCUL TR02-6, Department of Computer Science, University of Lisboa, 2002
Available from http://www.di.fc.ul.pt/

Cheuk Lung, L., Correia, M., Neves,N.F. and Veríssimo, P., A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB
21º Simpósio Brasileiro de Redes de Computadores. Natal, Brasil, May 2003
Available from http://www.di.fc.ul.pt/~mpc/brmt.pdf

Veríssimo, P. Neves, N.F., and Correia, M., Intrusion-Tolerant Architectures: Concepts and Design (extended)
Technical Report DI/FCUL TR03-5, Department of Computer Science, University of Lisboa, 2003
Available from http://www.di.fc.ul.pt/

Veríssimo, P., Neves, N.F. and Correia,M., Intrusion-Tolerant Architectures: Concepts and Design
In Architecting Dependable Systems, R. Lemos, C. Gacek, A. Romanovsky (eds.), Lecture Notes in Computer Science, Vol: 2677, Springer Verlag, 2003

Veríssimo, P., Uncertainty and Predictability: Can they be reconciled?
In Future Directions in Distributed Computing, Lecture Notes in Computer Science, Vol: 2584, Springer-Verlag, 2003
Available from http://www.navigators.di.fc.ul.pt/

All Partners

D. Powell, A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Neves, B. Pfitzmann, B. Randell, R. Stroud, P. Veríssimo, M. Waidner, MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
In Sup. of the Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN2001), Göteborg (Sweden), 1-4 July 2001, pp. D-32-D-35