Security patterns meet agent oriented software engineering: a complementary solution for developing secure information systems

Authors:
Haralambos Mouratidis;Michael Weiss;Paolo Giorgini
Affiliations:
School of Computing and Technology, University of East London, England;Dept. of Computer Science, Carleton University, Ottawa, Canada;Dept. of Information and Communication Technology, University of Trento, Italy
Venue:
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Year:
2005

Citing 8
Cited 7

Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Fundamentals of computer security technology

Fundamentals of computer security technology
UMLsec: Extending UML for Secure Systems Development

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Classifying Relationships between Object-Oriented Design Patterns

ASWEC '98 Proceedings of the Australian Software Engineering Conference
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications

Security Engineering with Patterns: Origins, Theoretical Models, and New Applications
Tropos: An Agent-Oriented Software Development Methodology

Autonomous Agents and Multi-Agent Systems
When security meets software engineering: a case of modelling secure information systems

Information Systems
Pattern-driven design of agent systems: approach and case study

CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering

How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach

Proceedings of the 11th international conference on Artificial intelligence and law
Secure information systems engineering: a manifesto

International Journal of Electronic Security and Digital Forensics
Social Modeling and i*

Conceptual Modeling: Foundations and Applications
How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns

Artificial Intelligence and Law
Legal Patterns Implement Trust in IT Requirements: When Legal Means are the "Best" Implementation of IT Technical Goals

RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Towards interoperability of i* models using iStarML

Computer Standards & Interfaces
Patterns for modelling agent systems with tropos

Software Engineering for Multi-Agent Systems IV

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agent Oriented Software Engineering and security patterns have been proposed as suitable paradigms for the development of secure information systems. However, so far, the proposed solutions are focused on one of these paradigms. In this paper we propose an agent oriented security pattern language and we discuss how it can be used together with the Tropos methodology to develop secure information systems. We also present a formalisation of our pattern language using Formal Tropos. This allows us to gain a deeper understanding of the patterns and their relationships, and thus to assess the completeness of the language.