Giuliana Santos Veronese Miguel Correia Lau Cheuk Lung Paulo Veríssimo Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. 37-44 2008 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2008.40 conf/nca/2008 db/conf/nca/nca2008.html#VeroneseCLV08