Secure Tropos: Extending /* and Tropos to Model Security Throughout the Development Process. - Haralambos Mouratidis; Paolo Ciorgini (Social Modeling for Requirements Engineering, 2011)