Giuliana Santos VeroneseMiguel CorreiaLau Cheuk LungPaulo Verissimo2010-05-212014-11-142010-05-212014-11-1420082008http://hdl.handle.net/10451/14549http://repositorio.ul.pt/handle/10455/6159engComputer ScienceFinite Memory: a Vulnerability of Intrusion-Tolerant Systemsjournal article