TY  - RPRT
TI  - A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
AU  - A. Bhanpurawala
AU  - K. El-Fakih
AU  - I. Zualkernan
PY  - 2022
UR  - https://arxiv.org/abs/2210.05623
ID  - 2210.05623
ER  -