Browsing AUS Theses & Dissertations by Author "8be0850c-da78-487f-b13a-80aedbd00224"
Now showing items 1-1 of 1
-
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
Bhanpurawala, Alifiya (2023-11)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 constrained, safety measures are difficult to ...