5.2.3.2.7 Security-Aware Tropos
Tropos [211] is a full life cycle methodology for development agent-based
software systems. Created by researchers at the University of Trento (Italy),
Tropos uses Goal-oriented Requirements Language (GRL) to model the