Workshop Organizers:
Michael Backes (IBM Zurich Research Lab, Switzerland)
Andre Scedrov (University of Pennsylvania, USA)
The
3rd International Workshop on Security Issues in
Concurrency (SecCo'05) follows the success of SecCo'03 (held in conjunction
with ICALP'03) and SecCo'04
(held
in
conjunction with CONCUR'04).
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 (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.
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 web service technology mobile ad-hoc networks agent-based infrastructures peer-to-peer systems global computing context-aware computing ubiquitous/pervasive comp. component-based systems |
Program Committee:
| Michael
Backes
IBM Zurich Research Lab, Switzerland (PC Co-chair) Riccardo Focardi (Università Ca' Foscari di Venezia, Italy) Virgil Gligor (U Maryland, USA) Andy Gordon (Microsoft Research) Joshua Guttman (MITRE Corporation, USA) Chris Hankin (Imperial College, UK) Peeter Laud (Tartu University, Estonia) Catherine Meadows (Naval Research Laboratory, USA) Andre Scedrov University of Pennsylvania, USA (PC Co-chair) Jan Vitek (Purdue University, USA) Gianlugi Zavattaro (Università di Bologna, Italy) |
Submissions may either be short abstracts or full papers. The type of submission should be indicated on the title page. Papers should be in Portable Document Format (.pdf) or in Postscript Format (.ps), at most 5 pages for short abstract and 12 pages for full papers excluding the bibliography and well-marked appendices (using 11-point font, single column format, and reasonable margins on 8.5"x11" or A4 paper), and at most 20 pages total. We request the submissions be in US letter paper size (not A4) if at all possible. Committee members are not required to read the appendices, so the paper should be intelligible without them. Workshop proceedings will be published in the ENTCS series (Electronic Notes in Theoretical Computer Science). We intend to publish a journal special issue inviting full versions of papers selected among those presented at the workshop.
Detailed instructions how to submit papers to SecCo'05 will be posted here soon.
For any questions, please contact the program chairs, at secco05-chairs-public@zurich.ibm.com.