Intrusion-Resilient Middleware Design and Validation - Paulo Verissimo; Miguel Correia; Nuno F. Neves; Paulo Sousa (2009)