the IEEE Joint International Conference on Requirements Engineering, Essen, Germany,
September 9–13, 2002: 199–202.
177 Axel van Lamsweerde, Simon Brohez, Renaud De Landtsheer, and David Janssens, “From System Goals
to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering,” in