View article

Although security is an important issue when developing complex computerised systems, very little work has been done in integrating security concerns in the agentoriented methodologies. This paper introduces extensions to the Tropos methodology to accommodate security. A description of new concepts is given along with an explanation of how these concepts are integrated to the current stages of Tropos. The above is illustrated using an agent-based health and social care information system as a case study.