Workshop on Principles of Dependable Systems
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:
relevance 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 (firstname.lastname@example.org) 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.
Notification: March 10, 2003
Camera Ready Copy due: May 7, 2003
Workshop date: June 24, 2003
Klaus Kursawe, IBM Zurich
Levente Buttyán, Budapest University of Technology and Economics
Christian 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