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,...
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/25489 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!