Tropos is an agent-oriented software development methodology, tailored to describe both the organization and the system. One of its main feature is the crucial role given to the early requirements analysis that precedes the prescriptive requirements specification. The main advantage of this is that, by doing an earlier analysis, one can capture not only the what or the how, but also the why a piece of software is developed. This, in turn, supports a more refined analysis of the system dependencies and, in particular, for a much better and uniform treatment, not only of the system's functional requirements, but also of the non-functional requirements. However, Tropos so far says nothing about security requirements. Secure Tropos extends Tropos methodology for modelling and analyzing security requirements.

Si* Tool is a graphical tool where it is possible to draw Secure Tropos models and to performzthe effective formal analysis of Secure Tropos specifications. The tool is provide as an Eclipse's plugin and use XML as its document format. Formal analysis is based on logic programming. Si* Tool allows to different systems based on Datalog to analyze Secure Tropos specification.

NEW: Symposium on Requirements Engineering for Information Security (SREIS 2008)