论文信息 - An Ontology for Modelling Security: The Tropos Approach

An Ontology for Modelling Security: The Tropos Approach

It has been argued that security concerns should inform all the stages of the development process of an agent-based system. However, this is not the case since current agent-oriented methodologies do not, usually, consider security concepts within their modelling ontology. In this paper we present extensions to the Tropos ontology to enable it to model security.

[1] Ian Sommerville,et al. Software engineering (6th ed.) , 2001 .

[2] Haralambos Mouratidis,et al. Modelling secure multiagent systems , 2003, AAMAS '03.

[3] John Mylopoulos,et al. Information systems as social structures , 2001, FOIS.

[4] Michael Wooldridge,et al. INTELLIGENT AGENTS IV , 1998 .

[5] Carlos Angel Iglesias,et al. A Survey of Agent-Oriented Methodologies , 1998, ATAL.

[6] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[7] Haralambos Mouratidis,et al. Analysis and Design of the eSAP: An Integrated Health and Social Care Information System , 2003, Health Informatics J..

[8] Marco Pistore,et al. Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.