CSDL - Proceedings S

Message from the Program Chair (PDF)

pp. x

Conference Committee (PDF)

pp. xi

Referees (PDF)

pp. xiii

Workshop 1: Reliable and Secure Applications in Mobile Environments (PDF)

pp. xiv

Workshop 2: Reliability in Embedded Systems (PDF)

pp. xv

Session 1: Replication - Session Chair: Lorenzo Alvisi, University of Texas at Austin, USA

Optimizing File Availability in a Secure Serverless Distributed File System (Abstract)

J. Douceur, Microsoft Research

R. Wattenhofer, Microsoft Research

pp. 0004

PDF

Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation (Abstract)

R. Oliveira, Universidade do Minho

J. Pereira, Universidade do Minho

A. Schiper, EPF Lausanne

pp. 0014

PDF

How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead (Abstract)

R. Jiménez-Peris, Technical University of Madrid (UPM)

M. Patiño-Martínez, Technical University of Madrid (UPM)

B. Kemme, McGill University

G. Alonso, Swiss Federal Institute of Technology (ETHZ)

pp. 0024

PDF

Session 2: Recovery - Session Chair: Gilles Muller, INRIA Rennes, France

Quantifying Rollback Propagation in Distributed Checkpointing (Abstract)

A. Agbaria, Technion - Israel Institute of Technology

H. Attiya, Technion - Israel Institute of Technology

R. Friedman, Technion - Israel Institute of Technology

R. Vitenberg, Technion - Israel Institute of Technology

pp. 0036

PDF

Continental Pronto (Abstract)

S. Frølund, Hewlett-Packard Laboratories

F. Pedone, Hewlett-Packard Laboratories

pp. 0046

PDF

Compiler-Assisted Heterogeneous Checkpointing (Abstract)

F. Karablieh, Arizona State University

R. Bazzi, Arizona State University

M. Hicks, Agilent Technologies

pp. 0056

PDF

Panel 1: Reliability and Security in Distributed and Mobile Systems - Moderator: Bharat Bhargava, Purdue University, USA

Applying Fault-Tolerance Principles to Security Research (PDF)

A. Bhargava, TRW

B. Bhargava, Purdue University

pp. 0068

The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards (PDF)

J. Betser, The Aerospace Corporation

pp. 0070

Can Reliability and Security be Joined Reliably and Securely? (PDF)

K. Kwiat, Air Force Research Laboratory

pp. 0072

Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems (PDF)

K. Kim, University of California, Irvine

pp. 0074

Research in High-Confidence Distributed Information Systems (PDF)

M. Singhal, University of Kentucky

pp. 0076

Session 3: Security - Session Chair: Catherine Meadows, Naval Research Labs, USA

Detecting Heap Smashing Attacks through Fault Containment Wrappers (Abstract)

C. Fetzer, AT&T Labs Research

Z. Xiao, AT&T Labs Research

pp. 0080

PDF

Efficient Update Diffusion in Byzantine Environments (Abstract)

D. Malkhi, The Hebrew University of Jerusalem, Israel

O. Rodeh, The Hebrew University of Jerusalem, Israel

M. Reiter, Bell Labs, Lucent Technologies

Y. Sella, The Hebrew University of Jerusalem, Israel

pp. 0090

PDF

An Analytical Framework for Reasoning about Intrusions (Abstract)

S. Upadhyaya, State University of New York at Buffalo

R. Chinchani, State University of New York at Buffalo

K. Kwiat, Air Force Research Laboratory

pp. 0099

PDF

Session 4: Agreement Protocols - Session Chair: Suresh Rai, Lousiana State University, USA

Optimistic Validation of Electronic Tickets (Abstract)

F. Pedone, Hewlett-Packard Laboratories

pp. 0110

PDF

A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window (Abstract)

M. Hurfin, IRISA

A. Mostefaoui, IRISA

M. Raynal, IRISA

R. Macêdo, LaSiD-CPD-UFBA

pp. 0120

PDF

Polynomial Time Synthesis of Byzantine Agreement (Abstract)

S. Kulkarni, Michigan State University

A. Arora, Ohio State University

A. Chippada, Michigan State University

pp. 0130

PDF

Session 5: Application Level Fault Tolerance - Session Chair: Luca Simoncini, University of Pisa & CNR, Italy

Looking Ahead in Atomic Actions with Exception Handling (Abstract)

A. Romanovsky, University of Newcastle upon Tyne, UK

pp. 0142

PDF

Assessing Inter-Modular Error Propagation in Distributed Software (Abstract)

A. Jhumka, Chalmers University

M. Hiller, Chalmers University

N. Suri, Chalmers University

pp. 0152

PDF

Designing a Robust Namespace for Distributed File Services (Abstract)

Z. Zhang, Hewlett-Packard Laboratories

C. Karamanolis, Hewlett-Packard Laboratories

pp. 0162

PDF

Panel 2: Building Reliable Systems from COTS Components - Moderator: Farokh Bastani, University of Texas, Dallas, USA

High-Quality Customizable Embedded Software from COTS Components (PDF)

F. Bastani, University of Texas at Dallas

pp. 0174

Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems (Abstract)

M. Chiramal, U.S. Nuclear Regulatory Commission

pp. 0176

PDF

Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness? (PDF)

J. Voas, Cigital, Inc.

pp. 0179

Session 6: Concise Contributions - Session Chair: Jie Xu, Durham University, UK

Message Logging Optimization for Wireless Networks (Abstract)

B. Yao, Purdue University

W. Fuchs, Purdue University

pp. 0182

PDF

Reducing Noise in Gossip-Based Reliable Broadcast (Abstract)

P. Kouznetsov, Swiss Federal Institute of Technology

R. Guerraoui, Swiss Federal Institute of Technology

S. Handurukande, Swiss Federal Institute of Technology

A. Kermarrec, Microsoft Research Ltd.

pp. 0186

PDF

Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be? (Abstract)

P. Urbán, ?cole Polytechnique F?d?rale de Lausanne (EPFL)

X. Défago, Japan Advanced Institute of Science and Technology (JAIST)

A. Schiper, ?cole Polytechnique F?d?rale de Lausanne (EPFL)

pp. 0190

PDF

Consensus with Written Messages Under Link Faults (Abstract)

B. Weiss, Technische Universit?t Wien

U. Schmid, Technische Universit?t Wien

pp. 0194

PDF

Efficient TDMA Synchronization for Distributed Embedded Systems (Abstract)

V. Claesso, Chalmers Univ., Sweden

H. Lönn, Volvo Technological Development

N. Suri, Chalmers Univ., Sweden

pp. 0198

PDF

Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems (Abstract)

T. Park, Sejong University

N. Woo, Seoul National University

H. Yeom, Seoul National University

pp. 0202

PDF

Session 7: QoS and Real-Time Systems - Session Chair: Gerhard Fohler, Malardalen University, Sweden

Using the Timely Computing Base for Dependable QoS Adaptation (Abstract)

A. Casimiro, FC/UL

P. Veríssimo, FC/UL

pp. 0208

PDF

A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems (Abstract)

U. Brinkschulte, University of Karlsruhe

A. Bechina, University of Karlsruhe

F. Picioroaga, University of Karlsruhe

E. Schneider, University of Karlsruhe

T. Ungerer, University of Karlsruhe

J. Kreuzinger, University of Karlsruhe

M. Pfeffer, University of Karlsruhe

pp. 0218

PDF

Performance Analysis of the CORBA Notification Service (Abstract)

S. Ramani, Duke University

K. Trivedi, Duke University

B. Dasarathy, Telcordia Technologies, Inc.

pp. 0227

PDF

Session 8: Mobile Systems - Session Chair: Nian-Feng Tzeng, University of Louisiana, USA

Reliable Real-Time Cooperation of Mobile Autonomous Systems (Abstract)

S. Schemmer, GMD - German National

E. Nett, University of Magdeburg

M. Mock, GMD - German National

pp. 0238

PDF

On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments (Abstract)

G. Cao, The Pennsylvania State University

C. Das, The Pennsylvania State University

pp. 0247

PDF

Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks (Abstract)

S. Chessa, University of Pisa

P. Santi, Georgia Institute of Technology

pp. 0257

PDF

Author Index (PDF)

pp. 0267