Proceedings of the 1st international conference on High Confidence Networked Systems

Abstract

It is our great pleasure to welcome you to the 2012 1st ACM International Conference on High Confidence Networked Systems (HiCoNS'12) as part of CPSWeek 2012. HiCoNS 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 who are addressing various aspects of resilience of cyber-physical systems (CPS). HiCoNS was established after growing 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. This year's conference aimed to present novel research, development, and experimentation addressing the security, robustness, and reliability of cyber-physical systems that govern the operation of critical infrastructures such as power transmission, water distribution, transportation, healthcare, building automation, and many more. The use of Internet-connected devices and commodity IT solutions and the malicious intents of hackers and cybercriminals have made these 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. The technical program of HiCoNS'12 will present theories and methodologies from such areas as fault-tolerant and networked control systems, game theory for multi-agent dynamics in uncertain environments, and learning and verification theory for secure and trustworthy cyber-physical systems. The technical program includes sessions focused on Resilient Networks, Security Games, Attack Diagnosis, and Security Experimentation. During these sessions, oral presentations will cover both recent research results as well as new directions for future research and development. In addition, the program includes invited talks and panel discussions on emerging topics in resilience of CPS.