Finite Memory: a Vulnerability of Intrusion-Tolerant Systems - Giuliana Santos Veronese (2008)