3 V. E. Silva Souza J. Mylopoulos 2009 Alberto Laender Silvana Castano Umeshwar Dayal Fabio Casati José de Oliveira 28th International Conference on Conceptual Modeling (ER 2009) Gramado, RS, Brazil Springer 5829/2009 84-98 LNCS 09/11/2009 <p>Monitoring and diagnosing (M&amp;amp;D) software based on requirement models is a problem that has recently received a lot of attention in field of Requirement Engineering. In this context, Wang et al. [1] propose a M&amp;amp;D framework that uses goal models to diagnose failures in software at different levels of granularity. In this paper we extend Wang&rsquo;s framework to monitor and diagnose malicious attacks. Our extensions include the addition of anti-goals to model attacker intentions, as well as context-based modeling of the domain within which our system operates. The extended framework has been implemented and evaluated through a series of experiments intended to test its scalability.</p> http://www.springerlink.com/content/t0346q5900210112/