SACPS 2015 - First International Workshop on Security Aspects of Cyber Physical Systems

SACPS'15 is the The First International Workshop on Security Aspects of Cyber Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber Physical systems (CPS). SACPS'15 will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies ( ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).
Scope
Cyber Physical systems (CPS) are complex due to the composition and the combination between the system's components and the physical elements. The physical parts are connected to a network, which is controlled by software components or manually some times. 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 CPH
Safety and reliability analysis for CPS
Security requirements specification for CPS
Human aspects for CPS
Case studies, tools, and experemental results for CPH