1st International Workshop on
Security Issues in Coordination
Models, Languages, and Systems
June 28-29, 2003, Eindhoven, the Netherlands
Affiliated to ICALP 2003, June 30-July 4, 2003
Call for Paper
in PS format

Frank de Boer (Utrecht University, The Netherlands)
Giuseppe Castagna (Ecole Normale Superieure, France)
Riccardo Focardi (University of Venezia, Italy)
Cedric Fournet (Microsoft Research Cambridge, UK)
Heiko Mantel (DFKI, Germany)
Antony Rowstron (Microsoft Research Cambridge, UK)
David Sands (Chalmers University, Sweden)
Steve Schneider (Royal Holloway, Univ. of London, UK)
Jan Vitek (Purdue University, USA)
Gianluigi Zavattaro (University of Bologna, Italy)

Below you can see the program of the workshop

Riccardo Focardi
Dipartimento di Informatica
Università Ca' Foscari di Venezia
Gianluigi Zavattaro
Dipartimento di Scienze dell'Informazione
Università degli Studi di Bologna

Submissions may be of two forms:

Short abstracts: up to 5 pages 11 pt,
• Full papers: up to 12 pages 11 pt.
They should be submitted following the instructions at the SecCo'03 submission site.
The workshop proceedings will be published in the ENTCS series (Electronic Notes in Theoretical Computer Science) and full versions of selected papers will be likely invited for publication in a special issue of Science of Computer Programming (Elsevier).

Paper Submission: April 27, 2003
Notification: June 2, 2003
Pre-Final version:
June 13, 2003
Meeting date:
June 28-29, 2003
Final version: July 31, 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 include, but are not limited to:

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

• 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


Saturday 28  
14:00 - 16:00
Technical session (formal models)

"Soft component adaptation"
Brogi Antonio, University of Pisa, Italy
Canal Carlos, University of Malaga
Pimentel Ernesto, University of Malaga

"Formal Specification and Enactment of Security Policies through Agent Coordination Contexts"
Andrea Omicini, DEIS, Universita` di Bologna
Alessandro Ricci, DEIS, Universita` di Bologna
Mirko Viroli, DEIS, Universita` di Bologna

"Coordination Model and Noninterference"
Alessandro Aldini, Istituto STI, Universita` degli Studi di Urbino

"A formal approach for checking security properties in SecSpaces"
Mario Bravetti, Dep. of Computer Science, University of Bologna
Roberto Gorrieri, Dep. of Computer Science, University of Bologna
Roberto Lucchi, Dep. of Computer Science, University of Bologna

16:00 - 16:30 Break

16:30 - 17:30

Invited presentation: Daniele Gorla - University of Firenze - Italy

Sunday 29  
9:00 -10:00 Invited presentation (joint with FGC): Robert Harper - CMU, Pittsburgh - USA
10:00 - 10:30 Break
10:30 - 12:30
Technical session (technology)

"Safe Execution of Unreliable Software"
Per Mellstrand, Blekinge Institute of Technology
Rune Gustavsson, Blekinge Institute of Technology

"Minimal Information Disclosure in a Centralized Authorization System"
Lavinia Egidi, Dip. di Informatica -Univ. del Piemonte Orientale
Giovanni Porcelli, Dip. di Informatica-Univ. del Piemonte Orientale

"Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks"
Rene Mayrhofer, Inst. for Pract. Informatics, J. Kepler Univ. of Linz
Florian Ortner, Inst. for Pract. Informatics, J. Kepler Univ. of Linz
Alois Ferscha, Inst. for Pract. Informatics, J. Kepler Univ. of Linz
Manfred Hechinger, Inst. for Pract. Informatics, J. Kepler Univ. of Linz

"Secure Sharing of Tuple Spaces in Ad Hoc Settings"
Radu Handorean, Washington University in Saint Louis
Gruia-Catalin Roman, Washington University in Saint Louis