|              			         |
        |     6th International Workshop on      |
        |   Security  Issues  in  Concurrency    |
        |                                        |
        |              (SecCo'08)                |
        | http://www.lsv.ens-cachan.fr/SecCo08/  |
        |                                        |
        |                                        |
        | August 23, 2008, Toronto (Canada)      |
        |       Affiliated to CONCUR 2008        |
        |                                        |


Emerging trends in concurrency theory require the definition of models
and languages adequate for the design and management of new classes of
applications, mainly to program either WANs (like Internet) or smaller
networks of mobile and portable devices (which support applications
based on a dynamically reconfigurable communication structure). 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 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.

The aim of the workshop is to cover the gap between the security and
the concurrency communities. More precisely, the workshop promotes the
exchange of ideas, trying to focus on common interests and stimulating
discussions on central research questions. In particular, we look for
papers dealing with security issues (such as authentication,
integrity, privacy, confidentiality, access control, denial of
service, service availability, safety aspects, fault tolerance, trust,
language-based security) in emerging fields like web services, mobile
ad-hoc networks, agent-based infrastructures, peer-to-peer systems,
context-aware computing, global/ubiquitous/pervasive computing.

SecCo'08 follows the success of SecCo'03 (affiliated to ICALP'03),
SecCo'04 (affiliated to CONCUR'04), SecCo'05 (affiliated to CONCUR'05)
and SecCo'07 (affiliated to CONCUR'07).


Michele Bugliese (Universita Ca' Foscari, Italy)


    * Kostas Chatzikokolakis (Oxford Unversity, UK)
    * Veronique Cortier (LORIA, CNRS, France)
    * Amy Felty (University of Ottawa, Canada)
    * Steve Kremer, co-chair, (LSV, ENS Cachan, CNRS, INRIA, France)
    * Ralf Kuesters (University of Trier, Germany)
    * Yassine Lakhnech (Verimag, France)
    * Matteo Maffei (Saarland University, Germany)
    * Prakash Panangaden, co-chair, (McGill University, Canada)
    * Riccardo Pucella (Northeastern University, USA)
    * Mark Ryan (University of Birmingham, UK)


    * Deadline for abstract submission: May 26 2008
    * Deadline for paper submission: June 1 2008
    * Notification: July 4 2008
    * Workshop: August 23 2008


We hope to publish workshop proceedings in the ENTCS series
(Electronic Notes in Theoretical Computer Science); we thus encourage
submissions already in that format. Submissions may be of two kinds:

   * Short papers (not included in the proceedings):
     up to 5 ENTCS pages;

   * Full papers: up to 15 ENTCS pages (including bibliography).

Papers must be sumbitted electronically at the following URL:
Simultaneous submission to other conferences or journals is only
allowed for short papers. These are an opportunity to present
innovative ideas (without working out a full paper) and to get
feedback from a technically competent audience.

As done for the previous SecCo workshops, if the quality of the
accepted submissions warrants it, there will be a special issue
of the Journal of Computer Security devoted to selected papers
from the workshop.