PROJECT TITLE :

On the Interplay Between Cyber and Physical Spaces for Adaptive Security - 2018

ABSTRACT:

Ubiquitous computing is ensuing in an exceedingly proliferation of cyber-physical systems that host or manage valuable physical and digital assets. These assets will be harmed by malicious agents through both cyber-enabled or physically-enabled attacks, particularly ones that exploit the customarily ignored interplay between the cyber and physical world. The explicit illustration of spatial topology is essential to supporting adaptive security policies. In this Project we tend to explore the utilization of Bigraphical Reactive Systems to model the topology of cyber and physical areas and their dynamics. We have a tendency to utilise such models to perform speculative threat analysis through model checking to reason regarding the consequences of the evolution of topological configurations on the satisfaction of security necessities. We any propose an automatic designing technique to identify an adaptation strategy enacting security policies at runtime to forestall, circumvent, or mitigate doable security needs violations. We tend to evaluate our approach employing a case study involved with countering insider threats in a very building automation system.