42nd IFIP WG 10.4 Meeting
Hilton Head Island, SC, USA, June 27-July 1, 2002

Workshop on "Dependability and Survivability"

Coordinators:
  Carl E. Landwehr, NSF, Arlington, VA, USA
  David Powell, LAAS-CNRS, Toulouse, France


Overview

 Fault Tolerance and Survivability
 Risk and Defenses
 Intrusion Tolerance
 Intrusion Detection
 Synthesis and Conclusion


First Day of Workshop  --  Friday, June 28

Session 1  --  Fault Tolerance and Survivability
Moderator: Daniel P. Siewiorek, Carnegie Mellon University, Pittsburgh, PA, USA
Rapporteur: Tom Anderson, University of Newcastle Upon Tyne, UK

Jean-Claude Laprie, LAAS-CNRS, Toulouse, France
Dependability vs.Survivability vs. Trustworthiness

O. Sami Saydjari, SRI, Wisconsin Rapids, WI, USA
A Case for Survivability - A Worthy Research Problem

Janarayan H. Lala, DARPA, Arlington, VA, USA
DARPA's Path to Self-Regenerative Systems

Bob Gleichauf, CISCO Systems, Austin, TX, USA
What’s Next in Network Security? — A Cisco Perspective

Session 2  --  Risks and Defenses
Moderator: Paulo J. Veríssimo, University of Lisbon, Portugal
Rapporteur: Carl E. Landwehr

Marc Wilikens, JRC, Ispra, Italy
Information Infrastructure Interdependencies: Systemic Risk Issues

Richard D. Schlichting, AT&T Research, Florham Park, NJ, USA

Building Survivable Services Using Redundancy and Adaptation


Bob Balzer, Teknowledge, Marina del Rey, CA, USA
Safely Executing (Possibly) Malicious Code Within COTS Products

David Powell
Dependability Concepts for Malicious Faults
 

Second Day of Workshop  --  Saturday, June 29

Session 3  --  Intrusion Tolerance
Moderator: T. Basil Smith, IBM T.J. Watson Research Center, NY, USA
Rapporteur: David Powell

Carl Landwehr
R&D Directions in Intrusion Tolerant Systems

Fred Schneider, Cornell University, Ithaca, NY, USA
Design and Deployment of COCA

Yves Deswarte, LAAS-CNRS, Toulouse, France
Authorization Schemes and Intrusion Tolerance for Internet Applications

Victoria Stavridou, SRI, Menlo Park, CA, USA
A Dependable Adaptive Intrusion-Tolerant Server Architecture

Session 4  --  Intrusion Detection
Moderator: Kishor S. Trivedi, Duke University, NC, USA
Rapporteur: Bev Littlewood, City University, London, UK

Diego Zamboni, GSAL, IBM Zurich Research Laboratory, Switzerland
Building Accurate Intrusion Detection Systems

Roy Maxion, Carnegie-Mellon University, Pittsburgh, PA, USA
Testing Intrusion Detection Systems: Claims and Evidence

Session 5  --  Synthesis and Conclusion
Moderator: Jean-Claude Laprie

Tom Anderson
Summary of Session 1

Carl Landwehr
Summary of Session 2

David Powell
Summary of Session 3

Bev Littlewood
Summary of Session 4