Paulo Veríssimo Nuno Ferreira Neves Miguel Correia Intrusion-Tolerant Architectures: Concepts and Design. 3-36 2002 conf/icse/2002wads WADS http://dx.doi.org/10.1007/3-540-45177-3_1 db/conf/icse/wads2002.html#VerissimoNC02