Held at Newcastle University, 18-19 February, 2003.
All the MAFTIA deliverables in one place.
A list of MAFTIA-related papers published by members of the project.
The final MAFTIA workshop and review was held at the University of Newcastle,
Newcastle upon Tyne, 18th-19th February, 2003.
are the presentations from that meeting with links to the talks in pdf
Overview of MAFTIA
Robert Stroud, Newcastle (421K
Robert Stroud, Newcastle (367K pdf)
The Maftia Architecture: Services and Middleware for Intrusion Tolerance
Paulo Veríssimo, Lisboa (928K pdf)
Programming with the TTCB Wormhole
Paulo Veríssimo, Lisboa (1M pdf)
Building Dependable Trusted Services
Christian Cachin, IBM Zurich (171K
Yves Deswartes, LAAS (501K pdf)
Intrusion Detection: Eliminating False Alarms
Andreas Wespi, IBM Zurich (695K pdf)
CSP-based verification of TTCB services and GKA TH
William Simmonds, QinetiQ (69K pdf)
MAFTIA WP2 Demonstration: Transaction Service and Middleware
Miguel Pupo Correia, Lisboa (460K
Demonstration of Intrusion Tolerant IDS
Dominique Alessandri, IBM Zurich (292K
Rigorous Model of MAFTIA Concepts
Andre Adelsbach, Saarland (120K
Assessment of MAFTIA's Intrusion Tolerance Capabilities
Robert Stroud, Newcastle (145K pdf)