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
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
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.
Ian Welch (now Victoria University, Wellington, NZ)