A CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos.

Michalis Pavlidis, Shareeful Islam, Haralambos Mouratidis

Browse the full CaiSE paper archive.