On the Effects of Finite Memory on Intrusion-Tolerant Systems - Giuliana Santos (2007)