SecCo'03

   page       attach   
1st International Workshop on Security Issues in Coordination Models, Languages, and Systems
Eindhoven, The Netherlands, 28/06/2003–29/06/2003

New networking technologies are calling for the definition of models and languages adequate for the design and management of new classes of applications. Innovations are moving towards two directions: on the one hand, the Internet which supports wide area applications, on the other hand, smaller networks of mobile and portable devices which support applications based on a dynamically reconfigurable communication structure. In both cases, the challenge is to develop applications while there is at design time no knowledge of involved entities.

Coordination models and languages, which advocate a distinct separation between the internal behaviour of the entities and their interaction, represent a promising approach. However, due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic tunnels between fully trusted entities. For this to work the structure of the system must be known beforehand. Therefore, the proposed solutions in this area are not always exploitable in this new scenario.

The aim of the workshop is to cover the gap between the security and the coordination communities. More precisely, we intend to promote the exchange of ideas, focus on common interests, gain in understanding/deepening of central research questions, etc.

topics of interest

Topics of interest include, but are not limited to: 

  • authentication • integrity • privacy • confidentiality • access control • denial of service • service availability • safety aspects • fault tolerance

in:

  • coordination models • open-distributed systems • mobile ad-hoc networks • agent-based infrastructures • peer-to-peer systems • global computing • context-aware computing • component-based systems • ubiquitous computing
works as
origin event for publication
page_white_acrobatFormal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings, 2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
hosting event for talk
page_white_powerpointFormal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03, 28/06/2003) — Mirko Viroli (Andrea Omicini, Alessandro Ricci, Mirko Viroli)