%0 Journal Article %J Journal of Autonomous Agents and Mult-Agent Systems %D 2005 %T Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. %A Giorgini, P %A Mouratidis, H %K pub