MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols.
Qinying WangShouling JiYuan TianXuhong ZhangBinbin ZhaoYuhong KanZhaowei LinChangting LinShuiguang DengAlex X. LiuRaheem BeyahPublished in: USENIX Security Symposium (2021)
Keyphrases
- security protocols
- security problems
- management system
- key management
- security services
- key agreement protocol
- cryptographic protocols
- communication protocols
- information security
- intrusion detection
- message delivery
- fully automatic
- key establishment
- authentication protocol
- access control
- messages exchanged
- security mechanisms
- cloud computing
- semi automatic
- key distribution
- key exchange
- cyber attacks
- trusted third party
- transaction processing systems
- rfid systems
- automatic evaluation
- security properties
- database systems
- security requirements
- computer networks
- wireless sensor networks