posted by user: lrohrbough || 8664 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

CPS4CIP 2024   The 5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2024)
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
SEAA 2024   50th Euromicro Conference Series on Software Engineering and Advanced Applications
ICoSR 2024   2024 3rd International Conference on Service Robotics
IWCFS 2024   The 9th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems
CSW 2024   2024 3rd International Conference on Cyber Security
ICoIV 2024   2024 International Conference on Intelligent Vehicles (ICoIV 2024)
VERDI 2024   2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems