posted by user: lrohrbough || 7323 views || tracked by 15 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

IEEE TDSC - XAI-CTI 2020   IEEE Transactions on Dependable and Secure Computing Special Issue on Explainable AI for Cyber Threat Intelligence (XAI-CTI) Applications
AVC 2020   Advances in Vision Computing: An International Journal
CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)
JSE 2020   9th International Conference on Software Engineering and Applications
DASC 2020   The 18th IEEE Int’l Conference on Dependable, Autonomic and Secure Computing
TrustCom 2020   The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
EAI IC4S 2020   (Virtual) EAI International Conference on Cognitive Computing and Cyber Physical Systems
CCNET 2020   7th International Conference on Computer Networks & Communications
EAI IC4S 2020   (Virtual) EAI International Conference on Cognitive Computing and Cyber Physical Systems
CSW 2021   2021 International Workshop on Cyber Security (CSW 2021)