A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols.
Imane BouzianeHouda BelmokademMohamed MoussaouiPublished in: CiSt (2023)
Keyphrases
- communication protocols
- protocol specification
- formal methods
- big data
- formal specification
- management system
- mobile computing
- communication protocol
- ubiquitous computing
- communication networks
- security problems
- formal analysis
- high security
- location information
- model checking
- smart objects
- protocol stack
- cloud computing
- information systems
- integrity verification
- context aware
- mobile devices
- java card
- key management
- ambient intelligence
- sensor networks
- end users