مؤتمر
Formal Verification and Security Assessment of the Drone Remote Identification Protocol
| العنوان: | Formal Verification and Security Assessment of the Drone Remote Identification Protocol |
|---|---|
| المؤلفون: | Khan, Suleman, Gaba, Gurjot Singh, Boeira, Felipe, Gurtov, Andrei |
| المصدر: | 2024 2nd International Conference on Unmanned Vehicle Systems-Oman (UVS) Unmanned Vehicle Systems-Oman (UVS), 2024 2nd International Conference on. :1-8 Feb, 2024 |
| Relation: | 2024 2nd International Conference on Unmanned Vehicle Systems-Oman (UVS) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9798350372557 |
|---|---|
| DOI: | 10.1109/UVS59630.2024.10467159 |