posted by user: lrohrbough || 6318 views || tracked by 14 users: [display]

FDSCPS 2011 : Workshop on Foundations of Dependable and Secure Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.truststc.org/conferences/11/CPSWeek
 
When Apr 11, 2011 - Apr 11, 2011
Where Chicago, IL
Submission Deadline Feb 14, 2011
Notification Due Feb 21, 2011
Final Version Due Mar 14, 2011
Categories    security   control   cyber-physical systems   systems
 

Call For Papers

The Workshop on Foundations of Dependable and Secure Cyber-Physical Systems will be held April 11, 2011 in Chicago, Illinois as part of CPSWeek 2011.

The workshop will focus on system theoretic approaches to address fundamental challenges to make cyber-physical systems (CPS) secure, dependable, and trustworthy. A particular emphasis will be given on the control and verification challenges arising as a result of complex interdependencies between these networked systems. In doing so, the workshop will serve as a first step toward the development of a principled approach to high-confidence CPS.

The aim of this workshop is to bring together novel concepts and theories that can help in the development of the science of dependable and secure CPS. This workshop also aims to foster collaborations between researchers from the fields of control and systems theory, embedded systems, game theory, software verification and formal methods, and computer security. The scope of this workshop is to discuss theories and methodologies that encompass ideas from:
- Fault-tolerant and networked control systems
- Game theory for multi-agent dynamics in uncertain environments, and
- Learning and verification theory for secure and trustworthy systems.

Topics of interest will include, but are not restricted to, the following:
- 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 analysis
- 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. Also welcomed is foundational work that cuts across multiple application areas or advances the scientific understanding of underlying principles for the development of secure and trustworthy systems, including ways to measure the security properties of a system and methods to conduct robust and repeatable experimentation.

Related Resources

TII-SS-CPS-SEC 2019   IEEE Transactions on Industrial Informatics Special Section on Cyber - Physical Security in Industrial Environments
CDC 2019   58th Conference on Decision and Control
DSN 2019   Dependable Systems and Networks
FAIML 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)
DIS 2019   Designing Interactive Systems Conference 2019
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
DASC 2019   17th IEEE International Conference on Dependable Autonomic and Secure Computing
ACISP 2019   The 24th Australasian Conference on Information Security and Privacy
CPSS 2019   5th ACM Cyber-Physical System Security Workshop
CPSComECSS 2019   12th IEEE International Conference on Cyber, Physical and Social Computing, special session of Edge Computing and Storage Systems