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

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

A Master of Science thesis in Computer Engineering by Alifiya Bhanpurawala entitled, “A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices”, submitted in November 2023. Thesis advisor is Dr. Khaled El-Fakih. Soft copy is available (Thesis, Completion Certificate,...

Full description

Saved in:
Bibliographic Details
Main Author: Bhanpurawala, Alifiya (author)
Format: doctoralThesis
Published: 2023
Subjects:
Internet of things
Edge devices
Security threats
Mutation testing
Security faults
Attacks
Finite state machines with timeouts
Online Access:http://hdl.handle.net/11073/25489
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A Master of Science thesis in Computer Engineering by Alifiya Bhanpurawala entitled, “A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices”, submitted in November 2023. Thesis advisor is Dr. Khaled El-Fakih. Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and AUS Archives Consent Form).

Similar Items