Formal verification for security and attacks in IoT physical layer.
Zinah Hussein TomanLazhar HamelSarah Hussein TomanMohamed GraietDalton Cézane Gomes ValadaresPublished in: J. Reliab. Intell. Environ. (2024)
Keyphrases
- physical layer
- formal verification
- security problems
- wireless communication
- model checking
- application layer
- network layer
- resource utilization
- smart grid
- bit error rate
- management system
- communication systems
- communication protocol
- multipath
- information security
- security protocols
- key management
- adhoc network
- security mechanisms
- cloud computing
- ddos attacks
- channel coding
- security issues
- multi hop
- load balancing
- operating system
- mac protocol
- intrusion detection