3rd International Workshop on Security Issues in Concurrency (SecCo'05)
August 21-22, 2005, San Francisco, CA
Affiliated to CONCUR 2005, August 23-26, 2005

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:

access control in peer-to-peer systems
denial of service
service availability
safety aspects
fault tolerance
coordination models
mobile ad-hoc networks
agent-based infrastructures
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 Zavaratto (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

Short Abstract Submissions due: May 23, 2005, 10:00 PST
Full Paper Submissions due: May 30, 2005, 10:00 PST
Acceptance notification: July 7, 2005
Pre-Final version due: July 20, 2005
Meeting date: August 21-22, 2005
Final version due: September 20, 2005