Michalis Pavlidis, Shareeful Islam, Haralambos Mouratidis. A CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos. In Selmin Nurcan, editor, IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers. Volume 107 of Lecture Notes in Business Information Processing, pages 95-109, Springer, 2011. [doi]
Abstract is missing.