PROGRAMME
COMMITTEE
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)
WORKSHOP PROGRAM
Below you can
see the program of the workshop
WORKSHOP
ORGANIZERS AND CO-CHAIRS
Riccardo
Focardi
Dipartimento di Informatica
Università Ca' Foscari di Venezia
Gianluigi
Zavattaro
Dipartimento di Scienze dell'Informazione
Università degli Studi di Bologna
SUBMISSION
GUIDELINES
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).
IMPORTANT
DATES
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
|
|
SCOPE
AND TOPICS
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
|
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
|
|