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,...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | doctoralThesis |
| منشور في: |
2023
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://hdl.handle.net/11073/25489 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|