The 1st Workshop on Systems Resilience (WSR 2013)

in conjunction with
the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)
June 24, 2013 Budapest, Hungary

Table of Contents

Purpose and Scope

A resilient system is a system that can, in the face of unknown, large-scale events, recover from the failures and maintain its functions. It is known that many systems, such as biological systems, human mind, social systems, and dependable engineering systems exhibit this property. However, it is not clear how we should identify general "resilience" properties or strategies applicable to systems in many different domains. The purpose of this workshop is to bring the insights from various fields of resilient systems and explore common research challenges and design principles in the new discipline of "systems resilience."

Topics of Interest

The workshop addresses (but is not limited to) the following topics:

  • Resilience definitions and metrics
  • Risk management and vulnerability analysis in complex systems
  • Case studies for resilient or non-resilient systems
  • Recovery-oriented and autonomic computing
  • Self-healing systems
  • Bio-inspired adaptation and diversification techniques
  • Resilient networks
  • Modeling and simulation techniques for resilient systems
  • Business continuity plan and dynamic policy management
  • Human factors in resilient systems
  • Organizational or social resilience

Important Dates

Workshop Paper Submission March 18, 2013
Notification of Acceptance April 12, 2013
Camera Ready Deadline April 30, 2013
Workshop June 24, 2013

Workshop Program

10:15Chair's Welcome Remarks
Hiroshi Maruyama (Institute of Statistical Mathematics)
Session 1: Resilience Definitions and Research Opportunities
Session Chair: Patricia Longstaff (Syracuse University, USA)
10:20Towards Systems Resilience
Hiroshi Maruyama (Institute of Statistical Mathematics)
10:45FORISK: Formalizing Information Security Risk and Compliance Management
Stefan Fenz (Vienna University of Technology), Thomas Neubauer (Vienna University of Technology), Rafael Accorsi (University Freiburg) and Thomas Koslowski (University Freiburg)
11:10Key Issues in Service Systems Resilience
Kazuo Furuta and Taro Kanno (The University of Tokyo)
11:35SCoRe: An Across-the-Board Metric for Computer Systems Resilience Benchmarking
Raquel Almeida, Afonso Araújo Neto and Marco Vieira (CISUC, Department of Informatics Engineering, University of Coimbra, Portugal)
12:00Lunch
Session 2: Modeling Resilience
Session Chair: Thomas Koslowski (Universitat Freiburg, Germany)
13:30Model-Based Evaluation of System Resilience
John Meyer (University of Michigan)
13:55Resilience Modeling by Means of a Set of Recursive Functions.
Maria Teresa Signes, Juan Manuel García, Higinio Mora and Jerónimo Mora (Universidad de Alicante)
14:20Behavioral aspects for agent-based models of resilient urban systems
Thomas Brudermann (University of Graz) and Yoshiki Yamagata (National Institute for Environmental Studies)
14:45Coffee Break
Session 3: Building Resilient Systems
Session Chair: Kazuhiro Minami (Institute of Statistical Mathematics, Japan)
15:15An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems
Miguel Garcia, Nuno Neves and Alysson Bessani (University of Lisbon, Faculty of Sciences, LASIGE)
15:40Community-based Resilient Electricity Sharing: Optimal Spatial Clustering
Yoshiki Yamagata and Hajime Seya (National Institute for Environmental Studies)
16:05Cyber Security Problem based on Multi-Objective Distributed Constraint Optimization Technique
Tenda Okimoto, Naoto Ikegai, Tony Ribeiro, Katsumi Inoue, Hitoshi Okada (National Institute of Informatics) and Hiroshi Maruyama (Institute of Statistical Mathematics)

Submission

Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Submissions should be at most 8 pages in the IEEE Computer Society two-column camera-ready format. You should prepare your paper either with the Word template or the Latex package available at www.computer.org. The workshop will also consider short submissions of up to 4 pages for position papers. Submissions must be made electronically as a single Portable Document Format (PDF) file via the workshop submission site at www.softconf.com. Accepted submissions will be included in the DSN 2013 proceedings and on IEEE Xplore as workshop papers.

Chairs and Committee

Workshop Organizers

Hiroshi MaruyamaThe Institute of Statistical Mathematics, Japan
Takashi NanyaCanon Inc., Japan
Patricia LongstaffSyracuse University, USA

Program Committee

Chitta BaralArizona State University, USA
Kazuo FurutaUniversity of Tokyo, Japan
Katsumi InoueNational Institute of Informatics, Japan
Thomas KoslowskiUniversitat Freiburg, Germany
Kazuhiro MinamiInstitute of Statistical Mathematics, Japan
Gunter MullerUniversitat Freiburg, Germany
David RaiszBudapest University of Technology and Economics, Hungary
James B. SteinbergSyracuse University, USA

Date: 2013-06-05T09:22+0900

Validate XHTML 1.0