Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces - Bessani A. N. (2010)