Model, Methodology, and Reasoning, tech. report no. DIT-04-016 (Trento, Italy: University of Trento,
Haralambos Mouratidis and Gordon Manson (University of Sheffield), and Paolo Giorgini (University of
Trento), “An Ontology for Modelling Ssecurity: the Tropos Approach,” in Proceedings of the Seventh
International Conference on Knowledge-Based Intelligent Information and Engineering Systems,