Final CfP: 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo 2004)

Gianluigi Zavattaro <zavattar@cs.unibo.it>
24 May 2004 00:30:15 -0400

          From comp.compilers

Related articles
Final CfP: 2nd International Workshop on Security Issues in Coordinati zavattar@cs.unibo.it (Gianluigi Zavattaro) (2004-05-24)
| List of all articles for this month |

From: Gianluigi Zavattaro <zavattar@cs.unibo.it>
Newsgroups: comp.lang.scheme,comp.lang.functional,comp.compilers
Date: 24 May 2004 00:30:15 -0400
Organization: Carnegie Mellon, Pittsburgh, PA
Keywords: conference, CFP
Posted-Date: 24 May 2004 00:30:15 EDT

======================================================================
                                          2nd International Workshop on
          Security Issues in Coordination Models, Languages and Systems
                                                          (SecCo 2004)


                              August 30, 2004, London, United Kingdom
      Workshop affiliated to CONCUR 2004, August 31 - September 4, 2004


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


SCOPE AND TOPICS
The 2nd International Workshop on Security Issues in Coordination
Models, Languages and Systems follows the success of SecCo'03 (held in
conjunction with ICALP'03).


New networking technologies require the definition of models and
languages adequate for the design and management of new classes of
applications. Innovations are moving in 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 at design time there is no knowledge of the availability and/or
location of the involved entities.


Coordination models, languages and middlewares, 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 (eg. secrecy,
authentication, etc.) usually focuses on opening cryptographic
point-to-point tunnels. Therefore, the proposed solutions in this area
are not always exploitable to support the end-to-end secure
interaction between entities whose availability or location is not
known beforehand. Topics of interest include, but are not limited to:


            Theoretical foundations, specification, analysis, case-studies,
            applications for


            authentication coordination models
            integrity web service technology
            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/pervasive 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 submitted according to the instruction available at
        the workshop web page: http://cs.unibo.it/secco04
        The workshop proceedings will be published in the ENTCS series
        (Electronic Notes in Theoretical Computer Science) and, as done
        for SecCo'03, we intend to publish a journal special issue
        inviting full versions of papers selected among those presented at
        the workshop.


INVITED SPEAKERS
        Roberto Gorrieri (Universita` degli Studi di Bologna, Italy)
        Chris Hankin (Imperial College, UK)


ORGANIZED UNDER THE AUSPICES OF
        IFIP Working Group 1.7:
        Theoretical Foundations of Security Analysis and Design


IMPORTANT DATES
        June 1, 2004: Abstract submission deadline
        June 6, 2004: Paper submission deadline
        July 12, 2004: Notification of acceptance
        July 22, 2004: Pre-Final version
        August 30, 2004: Meeting date
        September 26, 2004: Final version


WORKSHOP ORGANIZERS
        o Riccardo Focardi
              Dipartimento di Matematica Applicata e Informatica
              Universita` Ca' Foscari di Venezia
              Via Torino, 155
              I-30173 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
        Farhad Arbab (CWI, The Netherlands)
        Iliano Cervesato (ITT Industries, USA)
        Rocco De Nicola (UniversitÓ di Firenza, Italy)
        Joshua Guttman (MITRE Corporation, USA)
        Chris Hankin (Imperial College, UK)
        Ronaldo Menezes (Florida Tech, USA)
        Andrei Sabelfeld (Chalmers University, Sweden)
        Jan Vitek (Purdue University, USA)


Post a followup to this message

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