SACPS 2016 - 2nd International Workshop on Security Aspects of Cyber Physical Systems

Cyber-Physical systems (CPS) are complex due to the composition and the combination of the system components and its physical elements. The physical parts are connected to a network, which is controlled by software components or, some times, manually. Examples of such systems can be found in avionics, automotive systems, nuclear power plants, etc.
Security of CPS is challenging due to the inherent complexity of CPS. Moreover, it is not sufficient to ascertain the security of the individual components in isolation: threats in CPS systems could also be due to the interaction between the physical, digital and software parts of CPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields.
This workshop provides a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS. Topics for the workshop include, but are not limited to:
Modeling CPS (formal models, UML, SysML, ADAAL, etc)
Design secure CPS
Risks analysis of CPS
Formal methods for CPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)
Threat modeling for CPS
Security policies and access control for CPS
Safety and reliability analysis for CPS
Security requirements specification for CPS
Human aspects for CPS
Case studies, tools, and experimental results for CPS