Security Implementation and Verification in Smart Buildings

The homes are dangerous environments like outside
since it contains risks affect on the life of the inhabitant (humidity, temperature, noise, light, etc.), especially with the increase
of the attention on smart homes and buildings in the previous
few years where studies focused on the IoT domain exclude
partially these risks. Smart homes/buildings are equipped with
IoT objects that capture the conflicting changes in a controlled
manner and introduce actions that stop or declare the existing
threats. A mechanism that guarantees to the inhabitant a stable
and comfortable life is more than mandatory. In this context, we
propose a global approach that defines the architecture of a smart
home/building by formalizing the main nodes (sensors, actuator,
server, etc.) and the technologies that bind them. Further, we
define the characteristics and the functioning of nodes by a formal
representation in the form of state machines, the applicable
norms to build a secure environment, and further the security
measures that must respect them in order to guarantee a
protected environment. We finished our study by experimentation
with Uppaal, a verification and validation tool, to ensure the
accuracy of the system operations that showed a satisfactory
results.