Malicious-and Accidental-Fault Tolerance for Internet Applications
IST Research Project IST-1999-11583
1 January 2000 - 28 February 2003

Check out a summary of the project, or browse through the original project proposal.

MAFTIA involved experts from 5 countries and 6 organisations. The Industrial Advisory Board provided valuable feedback on the work of the project.

Research was organised into six workpackages.

Find out more about the key scientific results and achievements, and the benefits of this research collaboration.




Newcastle
Brian Randell and Robert Stroud were the principal researchers at Newcastle.
Publications...



Lisboa
Paulo Veríssimo and Nuno Ferreira Neves led investigations at Lisboa.
Publications...



QinetiQ
QinetiQ's research was led by Colin O'Halloran and Sadie Creese.
Publications...



Saarland
Birgit Pfitzmann (now at IBM Zurich), Michael Steiner (now at IBM Thomas Watson), and André Adelsbach led the research at Saarland.
Publications...



LAAS-CNRS
Research at LAAS was led by David Powell and Yves Deswarte.
Publications...



IBM Zurich
Michael Waidner, Marc Dacier (now at Institut Eurécom), Andreas Wespi and Christian Cachin led the work at IBM Zurich.
Publications...

School of Computing Science,
University of Newcastle upon Tyne

The School of Computing Science at the University of Newcastle upon Tyne is one of the largest in the United Kingdom. Its research on distributed multilevel secure systems led to early work on the interplay between fault tolerance and security.

Newcastle had overall responsibility for MAFTIA as project coordinator. Their main technical contributions were to MAFTIA's conceptual model, architecture, and middleware.

Newcastle and LAAS had lead responsibility for the key deliverable on MAFTIA's conceptual model and architecture, to which Newcastle contributed material on the modelling of security policies, the nature of security failures, and faults that could lead to a security failure.

Newcastle used fault tree analysis to develop an informal assessment of MAFTIA's intrusion tolerance capabilities. The various assumptions that underpinned the MAFTIA architecture were documented, and a case study was developed that showed how MAFTIA's mechanisms and protocols could be deployed to protect a simple but realistic e-commerce application

Newcastle worked closely with Lisbon to develop an intrusion tolerant transaction service built on top of the protocols provided by the TTCB developed by Lisbon, and this formed the basis of the final demonstration of the MAFTIA middleware.

People at Newcastle

These people worked on MAFTIA. Names in bold are Executive Board members, others are Research Associates. Names in italics are support staff.

Christine Davies
Barry Hodgson

Brian Randell

Peter Ryan
Elaine Seery
Robert Stroud
John Warne
Jon Warwick
Ian Welch (now Victoria University, Wellington, NZ)