====================================================================== 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 http://cs.unibo.it/secco03 ====================================================================== SCOPE AND TOPICS 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 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 sent as PS or PDF to: [EMAIL PROTECTED] 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). IMPORTANT DATES 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 WORKSHOP ORGANIZERS o Riccardo Focardi Dipartimento di Informatica Universita` Ca' Foscari di Venezia Via Torino, 155 I-30172 Mestre (Ve), Italy E-mail: [EMAIL PROTECTED] 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: [EMAIL PROTECTED] Web: http://cs.unibo.it/~zavattar PROGRAM COMMITTEE 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 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell