Formal Specification and Enactment of Security Policies through Agent Coordination Contexts


Andrea Omicini, Alessandro Ricci, Mirko Viroli

Riccardo Focardi, Gianluigi Zavattaro (eds.)
SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003), pages 17–36
Electronic Notes in Theoretical Computer Science 85(3)
Elsevier Science B.V.
August 2003

Our research moves from three fundamental considerations that concern the modelling and engineering of complex systems. First, organization, coordination and security are strictly related issues that should be modelled in a uniform and coherent framework. Second, models, technologies and methodologies should come hand in hand, so that abstractions used in the analysis and design stages should be still “alive and kicking” at development and execution time. Third, the general non-formalisability of complex systems should not prevent us from using formal tools whenever useful, such as in proving or ensuring properties of limited but meaningful portions of a system.

By focussing on multi-agent systems, we discuss the notion of Agent Coordination Context (ACC) as an abstraction that (i) works as an organization and security abstraction, (ii) integrates well with abstractions provided by coordination infrastructures, and (iii) covers the engineering process from design to deployment. In particular, in this paper we study the syntax and semantics of a language for ACCs specification, exploiting typical process algebra techniques. Accordingly, we show that process algebras are a suitable tool for both specification and enactment of security and coordination policies through ACCs.

Journals & Series

Publication

— authors

— editors

Riccardo Focardi, Gianluigi Zavattaro

— status

published

— sort

paper in proceedings

— publication date

August 2003

— volume

SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)

— series

Electronic Notes in Theoretical Computer Science

— volume

85

— issue

3

— pages

17–36

identifiers

— DOI

10.1016/S1571-0661(04)80682-0

— Scopus

2-s2.0-2442460553

— print ISSN

1571-0661

— print ISBN

0-444-50916-X

notes

— note

1st International Workshop "Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28-29 June 2003. Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY