Automated Rule-Based Diagnosis through a Distributed Monitor System. - Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel P. Correia 001; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2007)