 |
|
 |
|
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 |
|
Rick Schlichting, AT&T Labs, New Jersey, USA |
 1.2 MB |
| Bill Sanders, Univ. of Illinois at Urbana-Champaign, USA TCIP: Trustworthy Cyber Infrastructure for Power |
|
| Paulo Veríssimo, University of Lisboa, Portugal CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture |
| Ron Trellue, Trellue Consulting, New Mexico, USA I3P Research on Process Control System Security |
|
| Ravi Iyer, Univ. of Illinois at Urbana-Champaign, USA Application-Aware Reliability and Security: The Trusted ILLIAC Approach |
| 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 |
| Simin Nadjm-Tehrani, Linköping University, Sweden Power and Telecom Management Networks: Real-Time Anomaly Detection and Correlation |
|
| David Bakken, Washington State University, USA Interdisciplinary Experiences with GridStat: Pub-Sub Status Dissemination for the Power Grid |
|
| Walt Heimerdinger, Honeywell, Minnesota, USA Security in Power Distribution SCADA and Critical DCS Applications |
TBD |
| Jean-Claude Laprie, LAAS-CNRS, Toulouse, France Modeling Interdependencies between the Electricity and Information Infrastructures |
|
| Felicita Di Giandomenico, ISTI-CNR, Pisa, Italy On a Framework for Modeling and Analyzing Interdependencies in Electrical Power Systems |
| Brian Randell, University of Newcastle upon Tyne, UK Observations |
|
| John Meyer, University of Michigan, USA Observations |
| Rick Schlichting, AT&T Labs, New Jersey, USA Overall Presentation and News |
1.0 MB |
| Simin Nadjm-Tehrani, Linköping University, Sweden CRIS: International Institute for Research on Critical Infrastructures |
0.2 MB
|
| Simin Nadjm-Tehrani, Linköping University, Sweden Availability in Partition-tolerant Systems with Data Constraints |
0.3 MB
|
| Brian Randell, University of Newcastle upon Tyne, UK ReSIST's Resilience Knowledge Base |
0.5 MB
|
| Brian Randell, University of Newcastle upon Tyne, UK Failures: Their Definition, Modelling, and Analysis |
1.0 MB
|
| Hermann Kopetz, TU Wien, Austria The ARTEMIS Technology Platform |
0.3 MB |
| Al Avizienis, Vytautas Magnus University, Kaunas, Lithuania A Taxonomy of Infrastructures; Dependability and Security Problems in CS&E |
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 |
0.1 MB |
| Matti Hiltunen, AT&T Labs, New Jersey, USA RFID Reliability |
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 |
0.3 MB |
| András Pataricza, Budapest University of Technology and Economics, Hungary Transformation-based Dependability Evaluation - A Complement to Modeling |
0.5 MB |
| Andrea Bondavalli, University of Florence, Italy A Self-Aware Clock and Its Possible Applications |
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 |
0.2 MB |
| Names and Contact Information |