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,...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Bhanpurawala, Alifiya (author)
التنسيق: doctoralThesis
منشور في: 2023
الموضوعات:
Internet of things
Edge devices
Security threats
Mutation testing
Security faults
Attacks
Finite state machines with timeouts
الوصول للمادة أونلاين:http://hdl.handle.net/11073/25489
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الانترنت

http://hdl.handle.net/11073/25489

مواد مشابهة