SecTro: A CASE Tool for Modelling Security in Requirements Engineering using Secure Tropos.

Michalis Pavlidis, Shareeful Islam

Browse the full CaiSE paper archive.