A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices

A. Bhanpurawala, K. El-Fakih, I. Zualkernan

With the rapid growth in the number of IoT devices being added to the network, a major concern that arises is the security of these systems. As these devices are resource constrain…