PoDSy 2003Workshop on Principles of Dependable Systems |
Scope Location Program Submission Details Important Dates Organizers Program Committee Website Contact |
NEWS
SCOPEDependable systems are supposed to satisfy an ensemble of distinct properties, namely safety, security and availability, to name a few. These properties are in parts complementary and also diverse enough to have spawned complete topic areas of their own. Consequently, work on achieving and validating the different properties has partly been performed in different communities and with varied nuances. Maybe most prominently this is true for the two areas of fault-tolerant systems on the one hand and secure systems (especially cryptography) on the other. For example, researchers in fault-tolerance often make statements about systems by treating cryptographic primitives as black boxes. This is done to simplify analysis and (sometimes) avoid number and probability theory. However, by abstracting away the basic properties of the cryptographic primitives, this severely constrains the ability to conduct rigorous security proofs. Various examples of the past show that by over-abstraction, important attributes got neglected, contributing to attack vulnerabilities in the resultant protocols. But despite these examples, many researchers have confirmed that there are strong similarities between the ways of modeling and handling uncertainty in both areas.In this workshop we wish to bring together researchers and practicioners from both the fault-tolerance and security communities to discuss foundational topics (and related applied experiences) on the similarities and differences between both areas. The main research challenges in this context are to formulate consistent and mutually understandable notions of the relevant dependable system properties, to identify suitable models for studying these properties, and to assess fundamental abstractions of systems which are both fault-tolerant and secure. In this direction, papers are solicited which address foundational issues around the ''principles'' of dependable systems. Contributions of interest will address topics related to, but not limited by, the following:
LOCATIONThe workshop is held in conjunction with DSN-2003, The International Conference on Dependable Systems and Networks, in San Francisco, California.PAPER SUBMISSION DETAILSTwo classes of papers are solicited: (a) original research contributions, and (b) position papers. Papers should be between 5 and 10 pages in length and will be reviewed by members of the program committee. Research contributions will be selected based on theirrelevance to the workshop, their originality, their technical quality and their presentation. Position papers will be selected based on their presentation and the potential to foster discussion. Please submit all contributions by sending an e-mail to Felix Gärtner (fgaertner@lpdmail.epfl.ch) no later than January 27, 2003 (extended deadline). Accepted workshop contributions will be published in the Supplement of the 2003 International Conference on Dependable Systems and Networks. IMPORTANT DATESSubmissions: January 27, 2003 (extended)Notification: March 10, 2003 Camera Ready Copy due: May 7, 2003 Workshop date: June 24, 2003 ORGANIZERSFelix Gärtner, EPF LausanneKlaus Kursawe, IBM Zurich Levente Buttyán, Budapest University of Technology and Economics PROGRAM COMMITTEELevente Buttyán, Budapest University of Technology and EconomicsChristian Cachin, IBM Zurich Felix Gärtner, EPF Lausanne Rachid Guerraoui, EPF Lausanne Klaus Kursawe, IBM Zurich Heiko Mantel, DFKI Catherine Meadows, Naval Research Labs Peter Ryan, Univ. of Newcastle Steve Schneider, Univ.of London Neeraj Suri, TU Darmstadt Paulo Verissimo, Univ. Lisboa, Portugal Dennis Volpano, Naval Postgraduate School Lidong Zhou, Microsoft Research WEBSITEhttp://lpdwww.epfl.ch/fgaertner/podsy2003/CONTACTFor further details, please send e-mail to Felix Gärtner (fgaertner@lpdmail.epfl.ch). |