[Pl-seminar] CfP: Workshop on Security Issues in Coordination Models, Languages and Systems

[Gianluigi Zavattaro]

======================================================================
                     1st International Workshop on
     Security Issues in Coordination Models, Languages and Systems
                             (SecCo 2003)

              June 28-29, 2003, Eindhoven, the Netherlands
      Workshop affiliated to ICALP 2003, June 30 - July 4, 2003

                      http://cs.unibo.it/secco03
======================================================================

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  the  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: 

    o Theoretical foundations, specification, analysis,  case-studies,
      applications for
   
      authentication                               coordination models
      integrity                               open-distributed systems
      privacy                                   mobile ad-hoc networks 
      confidentiality                      agent-based infrastructures
      access control           -in-               peer-to-peer systems
      denial of service                               global computing
      service availability                     context-aware computing
      safety aspects                           component-based systems    
      fault tolerance                             ubiquitous computing
      

SUBMISSION GUIDELINES

    Submissions may be of two forms: 
    o Short abstracts: up to 5 pages 11 pt,
    o Full papers: up to 12 pages 12 pt.
    They should be sent as PS or PDF to: secco03@cs.unibo.it
    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

    April   27, 2003: Submission deadline
    June     2, 2003: Notification of acceptance
    June    13, 2003: Pre-Final version
    June 28-29, 2003: Meeting date  
    July    31, 2003: Final version

WORKSHOP ORGANIZERS

    o  Riccardo Focardi
       Dipartimento di Informatica
       Universita` Ca' Foscari di Venezia
       Via Torino, 155 
       I-30172 Mestre (Ve), Italy 
       E-mail: focardi@dsi.unive.it
       Web: http://www.dsi.unive.it/~focardi

    o  Gianluigi Zavattaro                 
       Dipartimento di Scienze dell'Informazione
       Universita` degli Studi di Bologna
       Mura A. Zamboni, 7
       I-40127 Bologna (BO), Italy
       E-mail: zavattar@cs.unibo.it              
       Web: http://cs.unibo.it/~zavattar

PROGRAM COMMITTEE
 
    Frank de Boer (Utrecht University, The Netherlands) 
    Giuseppe Castagna (Ecole normale superieure - ENS, France)
    Riccardo Focardi (University of Venezia, Italy) - Co-Chair 
    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, University of London, UK)
    Jan Vitek (Purdue University, USA)
    Gianluigi Zavattaro (University of Bologna, Italy) - Co-Chair