Formal Specification and Enactment of Security Policies through Agent Coordination Contexts


Alessandro Ricci, Andrea Omicini, Mirko Viroli

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 information 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 talk 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.

1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK
Oxford, UK, 19/12/2003
    

Talk

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

— speakers

Andrea Omicini

— authors

Alessandro Ricci, Andrea Omicini, Mirko Viroli

— sort

talk

— language

wgb.gif

Context

— events

EUMAS 2003

— at

1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK

— where

Oxford, UK

— when

19/12/2003

Links

— external

External Link

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY