Design and Implementation of an Intrusion-Tolerant Tuple Space - Alysson Neves Bessani (2010)