CfP: Workshop on Security Issues in Coordination Models, Languages and Systems (Netherlands, 6/03)

Gianluigi Zavattaro <zavattar@CS.UniBO.IT>
19 Dec 2002 12:45:54 -0500

          From comp.compilers

Related articles
CfP: Workshop on Security Issues in Coordination Models, Languages and zavattar@CS.UniBO.IT (Gianluigi Zavattaro) (2002-12-19)
| List of all articles for this month |

From: Gianluigi Zavattaro <zavattar@CS.UniBO.IT>
Newsgroups: comp.compilers
Date: 19 Dec 2002 12:45:54 -0500
Organization: Compilers Central
Keywords: conference, CFP
Posted-Date: 19 Dec 2002 12:45:54 EST

                                          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



        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


        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:
        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).


        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


        o Riccardo Focardi
              Dipartimento di Informatica
              Universita` Ca' Foscari di Venezia
              Via Torino, 155
              I-30172 Mestre (Ve), Italy

        o Gianluigi Zavattaro
              Dipartimento di Scienze dell'Informazione
              Universita` degli Studi di Bologna
              Mura A. Zamboni, 7
              I-40127 Bologna (BO), Italy


        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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.