2004 International Conference on Dependable Systems and Networks. 28 June-1 July, 2004, Florence, Italy / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC), IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance ; in cooperation with AICA, Italy ... [and others].

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Fault-Tolerant Computing Technical Committee.

IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance.

Associazione italiana per il calcolo automatico.

Conference Name:

International Conference on Dependable Systems and Networks (2004 : Florence, Italy)

Language:

English

Subjects (All):

Fault-tolerant computing--Congresses.

Fault-tolerant computing.

Electronic digital computers--Congresses.

Electronic digital computers.

Computer networks--Reliability--Congresses.

Computer networks.

Computer networks--Reliability.

Genre:

Conference papers and proceedings.

Physical Description:

xxix, 909 pages : illustrations

Other Title:

DSN 2004

Dependable Systems and Networks, 2004 International Conference on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2004]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Recent Discoveries from Paxos / Leslie Lamport 3

Dependable Computing and Communications Symposium

Session 1A Overlay Networks / Chair: David Taylor

Performance and Dependability of Structured Peer-to-Peer Overlays / M. Castro, M. Costa, A. Rowstron 9

Robust Aggregation Protocols for Large-Scale Overlay Networks / A. Montresor, M. Jelasity, O. Babaoglu 19

Impact of Path Diversity on Multi-homed and Overlay Networks / J. Han, F. Jahanian 29

Session 1B Fault Tolerance Hardware Design / Chair: Paolo Prinetto

Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits / C. LaFrieda, R. Manohar 41

Tolerating Hard Faults in Microprocessor Array Structures / F. Bower, P. Shealy, S. Ozev, D. Sorin 51

Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline / N. Wang, J. Quek, T. Rafacz, S. Patel 61

Session 2A Security Attacks / Chair: Roberto De Prisco

Dynamic Quarantine of Internet Worms / C. Wong, C. Wang, D. Song, S. Bielski, G. Ganger 73

Hours: Achieving DoS Resilience in an Open Service Hierarchy / H. Yang, H. Luo, Y. Yang, S. Lu, L. Zhang 83

Robust Protection against Fault-Injection Attacks on Smart Cards Implementing the Advanced Encryption Standard / M. Karpovsky, K. Kulikowski, A. Taubin 93

A Defense-Centric Taxonomy Based on Attack Manifestations / K. Killourhy, R. Maxion, K. Tan 102

Session 2B Coding Techniques / Chair: Algirdas Avizienis

A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications / J. Plank, M. Thomason 115

A Decentralized Algorithm for Erasure-Coded Virtual Disks / S. Frolund, A. Merchant, Y. Saito, S. Spence, A. Veitch 125

Efficient Byzantine-Tolerant Erasure-Coded Storage / G. Goodson, J. Wylie, G. Ganger, M. Reiter 135

Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks / P. Koopman, T. Chakravarty 145

Session 3A Emerging Technologies / Chair: Jacob Abraham

Fault Tolerant Computation on Ensemble Quantum Computers / P. Boykin, T. Mor, V. Roychowdhury, F. Vatan 157

The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices / Aj KleinOsowski, K. KleinOsowski, V. Rangarajan, P. Ranganath, D. Lilja 167

The Impact of Technology Scaling on Lifetime Reliability / J. Srinivasan, S. Adve, P. Bose, J. Rivers 177

Session 3B Formal Methods / Chair: Marie-Claude Gaudel

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration to Exhaustive Fault Simulation / W. Steiner, J. Rushby, M. Sorea, H. Pfeifer 189

Verifying Web Applications Using Bounded Model Checking / Y.-W. Huang, F. Yu, C. Hang, C.-H. Tsai, D. Lee, S.-Y. Kuo 199

Automated Synthesis of Multitolerance / S. Kulkarni, A. Ebnenasir 209

Session 4A (Panel): Impact of Soft Errors in Future Computing Systems / Organizer: Ravishankar K. Iyer

Session 5A Broadcast & Multicast / Chair: Luis Rodrigues

Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast / G. Badishi, I. Keidar, A. Sasson 223

Data-Aware Multicast / S. Baehni, P. Eugster, R. Guerraoui 233

Timed Uniform Consensus Resilient to Crash and Timing Faults / T. Izumi, A. Saitoh, T. Masuzawa 243

Caching-Enhanced Scalable Reliable Multicast / C. Livadas, I. Keidar 253

Session 5B Dependability Assessment / Chair: Johan Karlsson

The Effect of Testing on Reliability of Fault-Tolerant Software / P. Popov, B. Littlewood 265

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees / E. Latronico, P. Miner, P. Koopman 275

Generic Faultloads Based on Software Faults for Dependability Benchmarking / J. Duraes, H. Madeira 285

Improving System Dependability with Functional Alternatives / C. Shelton, P. Koopman 295

Session 6A Distributed Algorithms / Chair: Michel Raynal

Cheap Paxos / L. Lamport, M. Massa 307

The Join Problem in Dynamic Network Algorithms / K. Konwar, D. Kowalski, A. Shvartsman 315

A Framework for Dynamic Byzantine Storage / J.-P. Martin, L. Alvisi 325

Dependable Initialization of Large-Scale Distributed Software / Y. Ren, R. Buskens, O. Gonzalez 335

Session 7A Embedded & Real-Time Systems / Chair: Andras Pataricza

A Bi-criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints / I. Assayad, A. Girault, H. Kalla 347

Proactive Recovery in Distributed CORBA Applications / S. Pertet, P. Narasimhan 357

Assured Reconfiguration of Embedded Real-Time Software / E. Strunk, J. Knight 367

Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems / J. Morris, D. Kroening, P. Koopman 377

Session 7B Practical Experience of Evaluation Tools & Methods / Chair: Joao Gabriel Silva

Fault Diversity among Off-the-Shelf SQL Database Servers / I. Gashi, P. Popov, L. Strigini 389

Does Your Result Checker Really Check? / L. Guo, S. Mukhopadhyay, B. Cukic 399

Experience with Evaluating Human-Assisted Recovery Processes / A. Brown, L. Chung, W. Kakes, C. Ling, d. Patterson 405

Automated System Design for Availability / G. Janakiraman, J. Renato Santos, Y. Turner 411

Session 8A Intrusion Detection & Intrusion Tolerance / Chair: Carl Landwehr

Secure Distributed DNS / C. Cachin, A. Samar 423

SCIDIVE: A Stateful and Cross Protocol Intrusion Detection Architecture for Voice-over-IP Environments / Y.-S. Wu, S. Bagchi, S. Garg, N. Singh, T. Tsai 433

A Portable Implementation Framework for Intrusion-Resilient Database Management Systems / A. Smirnov, T.-C. Chiueh 443

A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture / R. Stroud, I. Welch, J. Warne, P. Ryan 453

Session 8B Fault-Tolerant Routing / Chair: Arun Somani

FRTR: A Scalable Mechanism for Global Routing Table Consistency / L. Wang, D. Massey, K. Patel, L. Zhang 465

On Failure Dependent Protection in Optical Grooming Networks / S. Ramasubramanian 475

Analyses of the Reverse Path Forwarding Routing Algorithm / C. Bolton, G. Lowe 485

Delivering Packets during the Routing Convergence Latency Interval through Highly Connected Detours / E. Duarte, Jr., R. Santini, J. Cohen 495

Session 9A Dissemination and Diffusion / Chair: Raimundo A. Macedo

An Adaptive Algorithm for Efficient Message Diffusion in Unreliable Environments / B. Garbinato, F. Pedone, R. Schmidt 507

Efficient Hierarchic Management for Reconfiguration of Networked Information Systems / J. Rowanhill, P. Varner, J. Knight 517

Collective Endorsement and the Dissemination Problem in Malicious Environments / S. Lakshmanan, D. Manohar, M. Ahamad, H. Venkateswaran 527

Support for Mobility and Fault Tolerance in Mykil / J.-H. Huang, S. Mishra 537

Session 9B Practical Experience in Fault-Tolerance & Real-Time / Chair: Gilles Muller

Implementing Simple Replication Protocols Using CORBA Portable Interceptors and Java Serialization / T. Bennani, L. Blain, L. Courtes, J.-C. Fabre, M.-O. Killijian, E. Marsden, F. Taiani 549

In Advance Activation of Backup Channels for Real-Time Transmission / E. Hernandez Orallo, J. Vila Carbo 555

Why PCs Are Fragile and What We Can Do about It: A Study of Windows Registry Problems / A. Ganapathi, Y.-M. Wang, N. Lao, J.-R. Wen 561

Dependable Adaptive Real-Time Applications in Wormhole-Based Systems / P. Martins, P. Sousa, A. Casimiro, P. Verissimo 567

Session 10A Support for Security & Dependability / Chair: Hermann Kopetz

High Throughput Byzantine Fault Tolerance / R. Kotla, M. Dahlin 575

An Architectural Framework for Providing Reliability and Security Support / N. Nakka, Z. Kalbarczyk, R. Iyer, J. Xu 585

Diverse Firewall Design / A. Liu, M. Gouda 595

Component Middleware to Support Non-repudiable Service Interactions / N. Cook, P. Robinson, S. Shrivastava 605

Session 10B Mobility & Wireless Systems / Chair: Roberto Baldoni

Customizing Dependability Attributes for Mobile Service Platforms / J. He, M. Hiltunen, R. Schlichting 617

Discovering 1-FT Routes in Mobile Ad Hoc Networks / R. Venkatasubramanian, J. Hayes 627

Intrusion Tolerance and Anti-traffic Analysis Strategies for Wireless Sensor Networks / J. Deng, R. Han, S. Mishra 637

Performance and Dependability Symposium

Session 1C Fault Trees & Modelling / Chair: Chandra Kintala

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques / F. Ortmeier, W. Reif 651

Repairable Fault Tree for the Automatic Evaluation of Repair Policies / D. Raiteri, G. Franceschinis, M. Iacono, V. Vittorini 659

Availability Measurement and Modeling for an Application Server / D. Tang, D. Kumar, S. Duvur, O. Torbjornsen 669

Session 3C Practical Experience on Dependability and Performance Assessment / Chair: Eliane Martins

Benchmarking the Dependability of Windows NT4, 2000 and XP / A. Kalakech, K. Kanoun, Y. Crouzet, J. Arlat 681

Checkpointing of Control Structures in Main Memory Database Systems / L. Wang, Z. Kalbarczyk, R. Iyer, H. Vora, T. Chahande 687

Hierarchical Computation of Interval Availability and Related Metrics / D. Tang, K. Trivedi 693

Session 5C Model Checking / Chair: Tohru Kikuno

Model Checking Action- and State-Labelled Markov Chains / C. Baier, L. Cloth, B. Haverkort, M. Kuntz, M. Siegle 701

Model Checking Dependability Attributes of Wireless Group Communication / M. Massink, J.-P. Katoen, D. Latella 711

Min-Max Checkpoint Placement under Incomplete Failure Information / T. Ozaki, T. Dohi, H. Okamura, N. Kaio 721

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances / A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bonta, E. Lattanzi 731

Session 6C QoS and Performance Evaluation / Chair: William H. Sanders

An SLA-Oriented Capacity Planning Tool for Streaming Media Services / L. Cherkasova, W. Tang, S. Singhal 743

QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin / R. Nunes, I. Jansch-Porto 753

Optimal Object State Transfer

Recovery Policies for Fault Tolerant Distributed Systems / P. Katsaros, C. Lazos 762

Failure Data Analysis of a Large-Scale Heterogeneous Server Environment / R. Sahoo, A. Sivasubramaniam, M. Squillante, Y. Zhang 772

Session 7C Sensor Networks / Chair: Miroslaw Malek

Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks / P. Downey, R. Cardell-Oliver 785

Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Networks / G. Khanna, S. Bagchi, Y.-S. Wu 795

Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications / A. Tai, K. Tso, W. Sanders 805

Session 8C Evaluation Theory / Chair: Boudewijn Haverkort

A Markov Reward Model for Reliable Synchronous Dataflow System Design / V. Kumar, R. Verma, J. Lach, J. Dugan 817

A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy / M. Kargahi, A. Movaghar 826

An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets / M. Gribaudo, M. Sereno 835

Analysis of Second-Order Markov Reward Models / G. Horvath, S. Racz, M. Telek 845

Session 9C Dependability Benchmarking / Chair: Cristian Constantinescu

On Benchmarking the Dependability of Automotive Engine Control Applications / J.-C. Ruiz, P. Yuste, P. Gil, L. Lemus 857

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel / A. Albinet, J. Arlat, J.-C. Fabre 867

A Framework for Evaluating Storage System Dependability / K. Keeton, A. Merchant 877

Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors / W. Gu, Z. Kalbarczyk, R. Iyer 887

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability (IA) / Co-Chairs: Michael Harrison 899

Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS) / Co-Chairs: Saurabh Bagchi, Douglas M. Blough, Paolo Santi, Nitin Vaidya 900

Workshop on Architecting Dependable Systems (WADS) / Co-Chairs: Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky 901

Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) / Co-Chairs: Luca Breveglieri, Israel Koren 902

Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities (AC) / Co-Chairs: Charles C. Howell, Sofia Guerra, Shari Lawrence Pfleeger, Victoria Stavridou-Coleman 903.

Notes:

"IEEE Computer Society Order Number P2052"--T.p. verso.

Includes bibliographical references and author index.

ISBN:

0769520529

9780769520520

OCLC:

55988831

Access Restriction:

Restricted for use by site license.