Intrusion-tolerant self-healing devices for critical infrastructure protection. - Paulo Sousa 001; Alysson Neves Bessani; Wagner Saback Dantas; Fabio Souto; Miguel Correia 001; Nuno Ferreira Neves (DSN, 2009)