Fabio Massacci, Nicola Zannone. Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. In Eric S. K. Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos, editors, Social Modeling for Requirements Engineering. Cooperative information systems, pages 337-362, MIT Press, 2011.
Abstract is missing.