Modelling Secure Multiagent Systems

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 859-866

  Mouratidis, Haralambos ^a   Giorgini, Paolo ^b   Manson, Gordon ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Agent Oriented Software Engineering; Methodologies; Multiagent Systems; Security; Tropos

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SYSTEMS; PROBLEM SOLVING; SECURITY OF DATA; SYSTEMS ANALYSIS;

AGENT ORIENTED SOFTWARE ENGINEERING; METHODOLOGIES; SECURITY; TROPOS;

MULTI AGENT SYSTEMS;

EID: 1142268238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860710.860713     Document Type: Conference Paper

References (14)

1. N. R. Jennings, M. Wooldridge, "Agent-Oriented Software Engineering" In Handbook of Agent Technology (ed. J. Bradshaw) AAAI/MIT Press 2001
2. C. Iglesias, M. Garijo, J. Gonzales, "A survey of agent-oriented methodologies", Intelligent Agents IV, A. S. Rao, J. P. Muller, M. P. Singh (eds), Lecture Notes in Computer Science, Springer-Verlag, 1999
3. M. Wooldridge, N. R. Jennings, D. Kinny, "The GAIA Methodology for Agent-Oriented Analysis and Design", Journal of Autonomous Agents and Multi-Agent Systems 3, (3) pp. 285-312, 2000
4. W. Stallings, "Cryptography and Network Security: Principles and Practice", Second Edition, Prentice-Hall 1999.
5. J. Castro, M. Kolp and J. Mylopoulos. "A Requirements-Driven Development Methodology," In Proc. of the 13th Int. Conf. On Advanced Information Systems Engineering (CAiSE'01), Interlaken, Switzerland, June 2001.
6. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming, in Proc. of the Fifth International Conference on Autonomous Agents, Montreal, Canada, 28 May - 1 June 2001.
7. B. Bauer, J. Müller, J. Odell, "Agent UML: A Formalism for Specifying Multiagent Interaction". In Agent-Oriented Software Engineering, Paolo Ciancarini and Michael Wooldridge (eds), Springer, Berlin, pp. 91-103, 2001.
8. H. Mouratidis, P. Giorgini, G. Manson, I. Philp, "A Natural Extension of Tropos Methodology for Modelling Security", In the Proceedings of the Agent Oriented Methodologies Workshop (OOPSLA 2002), Seattle-USA, November 2002
9. H. Mouratidis, "Extending Tropos Methodology to accommodate Security", Computer Science Report, University of Sheffield, September 2002
10. P. Bresciani, A. Perini, P. Giorgini, G. Giunchiglia, J. Mylopoulos, "Modelling early requirements in Tropos: a transformation based approach", Agent Oriented Software Engineering IT, M. Wooldridge, G. Weiβ (eds), Lecture Notes in Computer Science, Springer-Verlag 2222, 2002
11. th International Symposium on Health Information Managements Research (ISHIMR2002), Sheffield, June 2002
12. nd Symposium on Requirements Engineering for Information Security, North Carolina -USA, November 2002.
13. th International Conference on the Unified Modeling Language, 2002.
14. M.P. Huget, "Nemo: An Agent-Oriented Software Engineering Methodology", in the Proceedings of the Agent Oriented Methodologies Workshop (OOPSLA 2002), Seattle - USA, November 2002.