The Speedos Project
The SPEEDOS Project was initiated by Prof. Keedy and his research group in 1998 at the University of Ulm, Germany. As a successor of the MONADS Project, it extends the earlier Monads research in the areas of computer security and software engineering design.
It differs from the MONADS Project in several ways, as follows:
In contrast with MONADS, which had its own computer architecture and processor design, SPEEDOS is based on conventional and widely available modern processor hardware.
It provides even more powerful access control features.
However, it incorporates many of the key ideas of the MONADS Project.