Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems

Cyber-physical systems (CPS) are heterogeneous inter-operating parts
of different aspects that can be physical, technical, networking, and even social
like agent operators in smart grids. The main concerns of CPS are ensuring security
and well-functioning against attacks that can either be technical or sociotechnical
based threats. To detail how well security policies are expressed, integrated,
and reinforced within a CPS, we rely on formal methods to develop a
sound approach that models CPS entities, especially their demeanor and interactions.
Further, the approach proposes to specify formally security requirements
and policies in CPS. For security analysis, we propose an algorithm that reinforces
the specified security policies and also quantifies the validity of requirements
for CPS. Finally, we validate the approach on a real case scenario of CPS
in the presence of social and technical treats.