Malicious- and Accidental-Fault Tolerance for Internet Applications

This document briefly describes three prototypes, each one corresponding to a subset of the MAFTIA middleware architecture. Together, these prototypes represent the most important components of the architecture, and constitute Deliverable D25 Running Lab Prototype of MAFTIA Middleware. The code distribution of the prototypes is available for review, and it includes a more extensive documentation. The first prototype is composed of an implementation of the Trusted Timely Computing Base (TTCB) on a real-time Linux kernel, and two secure reliable multicast protocols that explore the services provided by the TTCB. The second prototype implements the Communication Support (CS) layer of the architecture, and supplies a number of protocols including binary and multi-value agreement and atomic broadcast. The third prototype represents an Activity Support (AS) module and offers a transactional support service. This prototype implements a number of protocols and activities that facilitate the creation of resource and transaction managers.