Goals for HiCoNS 2012

Please see the most recent HiCoNS site

Over the last few years, researchers have gathered at CPSWeek to define the research scope for cyber-physical systems. These systems govern the operation of critical infrastructures such as power transmission, water distribution, transportation, healthcare, building automation, and process control. At the core of these systems are the modern control technologies that are based on embedded computers and networked systems that monitor and control large-scale physical processes. The use of internet-connected devices and commodity IT solutions and the malicious intents of hackers and cybercriminals have made these control technologies more vulnerable. Despite attempts to develop guidelines for the design and operation of systems via security policies, much remains to be done to achieve a principled, science-based approach to enhance security, trustworthiness, and dependability of networked cyber-physical systems. In light of that, we propose a new conference be added to the existing conferences at CPSWeek 2012 to discuss theories and methodologies that encompass ideas from

  1. fault-tolerant and networked control systems;
  2. game theory for multi-agent dynamics in uncertain environments; and
  3. learning and verification theory for secure and trustworthy cyber-physical systems.

This conference aims to foster collaborations between researchers from the fields of control and systems theory, embedded systems, game theory, software verification, formal methods, and computer security and will build on the interest and enthusiasm that was created by the First Workshop on Secure Control Systems (SCS) at CPSWeek 2010 and the Workshop on the Foundations of Dependable and Secure Cyber-Physical Systems (FDSCPS) at CPSWeek 2011, both of which were well attended (approximately 30-40 attendees at each workshop).

Conference Topics and Relevance to CPSWeek

The scope of the conference will include, but is not restricted to, the following topics:
  • Taxonomy of attacks and attack models for control systems
  • Novel security challenges in control systems
  • Testbeds for security of critical infrastructure systems
  • Decision and game theoretic approaches to security and reliability
  • Design architectures for prevention and resilience against attacks
  • Risk assessment and verification of security properties
  • Detectability and diagnosis of attacks
  • Economics based studies of security and reliability
  • Resilience and robustness against attacks
  • Response and reconfiguration methods
  • Cyber awareness of human-centric systems
  • Complexity and resilience in control systems

Approaches that can be applied to particular critical infrastructure systems in Transportation (surface and aviation), Energy (smart grid and building energy management), and Healthcare (medical systems and associated embedded devices) are particularly welcomed but other areas will be explored. Equally welcomed is foundational work that cuts across multiple application areas or advances the scientific understanding of underlying principles for the development of high confidence (secure, reliable, robust, and trustworthy) networked cyber-physical systems.

This includes ways to measure the security properties of a system, science-based principals of security and dependability, and methods to conduct robust and repeatable experimentation. This conference will engage researchers from multiple disciplines, including information security, network and systems security, security economics, game theory, and control theory and link work being done in the applied areas with foundational work to advance a science base for high confidence networked systems that aims to provide a means of building such systems in a principled way.