Sunflower

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

51st Meeting

Le Gosier, Guadeloupe, France

January 10 - 14, 2007

Previous Page

Meeting Host
  Karama Kanoun, LAAS-CNRS, Toulouse, France


Program-at-a-Glance and Contents

Workshop on Critical Infrastructure Protection

Workshop 
Coordinator
  Rick Schlichting,  AT&T Labs, New Jersey, USA
Introduction to the Workshop
Session 1 Issues and Architectures
Session 2 Issues and Architectures
Session 3 Simulation-Based and Formal Analysis
Session 4 Protection Techniques
Session 5 Dealing with Interdependencies
Session 6 Synthesis and Wrap Up

Business Meeting

Research Reports

List of Attendees


Workshop  on Critical Infrastructure Protection 

January 11-12, 2007 (Thursday/Friday)

Introduction

Rick Schlichting, AT&T Labs, New Jersey, USA
Introduction to the Workshop

.pdf icon  1.2 MB

Session 1  --   Issues and Architecures
Bill Sanders, Univ. of Illinois at Urbana-Champaign, USA
TCIP: Trustworthy Cyber Infrastructure for Power
.pdf icon  0.5 MB
Paulo Veríssimo,  University of Lisboa, Portugal
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture

.pdf icon  0.5 MB

Session 2  --  Issues and Architectures
Ron Trellue, Trellue Consulting, New Mexico, USA
I3P Research on Process Control System Security
.pdf icon  0.4 MB
Ravi Iyer, Univ. of Illinois at Urbana-Champaign, USA
Application-Aware Reliability and Security: The Trusted ILLIAC Approach
.pdf icon  1.7 MB

Session 3  --  Simulation-Based and Formal Analysis

Roland Rieke, Fraunhofer-Institut, Darmstadt, Germany
Improving Resilience of Critical Infrastructures against Complex Threats -- An Approach based on Operational Models
David Nicol, Univ. of Illinois at Urbana-Champaign, USA
Integrated Analysis of Host-based and Network-based Access Control Policies in a Critical Infrastructure Control Systems
.pdf icon  0.3 MB

Session 4  --  Protection Techniques
Simin Nadjm-Tehrani, Linköping University, Sweden
Power and Telecom Management Networks: Real-Time Anomaly Detection and Correlation

.pdf icon  1.7 MB
David Bakken, Washington State University, USA
Interdisciplinary Experiences with GridStat: Pub-Sub Status Dissemination for the Power Grid
.pdf icon  0.3 MB
Walt Heimerdinger, Honeywell, Minnesota, USA
Security in Power Distribution SCADA and Critical DCS Applications
TBD

Session 5  --  Dealing with Interdependencies
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France
Modeling Interdependencies between the Electricity and Information Infrastructures

.pdf icon  0.5 MB
Felicita Di Giandomenico, ISTI-CNR, Pisa, Italy
On a Framework for Modeling and Analyzing Interdependencies in Electrical Power Systems
.pdf icon  0.3 MB

Session 6  --  Synthesis and Wrap Up
Brian Randell, University of Newcastle upon Tyne, UK
Observations

.pdf icon  0.1 MB
John Meyer, University of Michigan, USA
Observations
.pdf icon  0.2 MB


 

Business Meeting

Rick Schlichting, AT&T Labs, New Jersey, USA
Overall Presentation and News
.pdf icon  1.0 MB

 

Research Reports - January 14, 2007 (Sunday)

Simin Nadjm-Tehrani, Linköping University, Sweden
CRIS: International Institute for Research on Critical Infrastructures
.pdf icon  0.2 MB
Simin Nadjm-Tehrani, Linköping University, Sweden
Availability in Partition-tolerant Systems with Data Constraints
.pdf icon  0.3 MB
Brian Randell, University of Newcastle upon Tyne, UK
ReSIST's Resilience Knowledge Base
.pdf icon  0.5 MB
Brian Randell, University of Newcastle upon Tyne, UK
Failures: Their Definition, Modelling, and Analysis
.pdf icon  1.0 MB
Hermann Kopetz, TU Wien, Austria
The ARTEMIS Technology Platform
  .pdf icon 0.3 MB
Al Avizienis, Vytautas Magnus University, Kaunas, Lithuania
A Taxonomy of Infrastructures; Dependability and Security Problems in CS&E 
  .pdf icon  20 KB
Xavier Defago, Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Updates on Research on Failure Detection Services and Dependable Coordination of Mobile Robots
.pdf icon 0.1 MB
Matti Hiltunen, AT&T Labs, New Jersey, USA
RFID Reliability
.pdf icon 0.3 MB
Susanna Donatelli, University of Torino, Italy
Modelling Requirements of the Electrical Power Systems; Performance and Dependability Measures Based on Stochastic
Temporal Logic and Timed Automata
.pdf icon 0.3 MB
András Pataricza, Budapest University of Technology and Economics, Hungary
Transformation-based Dependability Evaluation - A Complement to Modeling
.pdf icon 0.5 MB
Andrea Bondavalli, University of Florence, Italy
A Self-Aware Clock and Its Possible Applications
.pdf icon 0.3 MB
David Bakken, Washington State University, USA
GridStat Research Milli-Updates: 1) Actuator RPC with QoS and Safety, 2) Global and Hierarchical Mode Change
Mechanisms and Management
.pdf icon 0.2 MB

List of Attendees

Names and Contact Information
.pdf icon  32 KB