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: CoRR (2022)
Keyphrases
- security protocols
- security problems
- key management
- security issues
- semi automatic
- management system
- security properties
- authentication protocol
- automatic evaluation
- key agreement protocol
- intrusion detection
- communication protocols
- cryptographic protocols
- security services
- information security
- key distribution
- fully automatic
- rfid systems
- message delivery
- publish subscribe
- application level
- security requirements
- statistical databases
- network security
- fault tolerant
- intrusion detection system
- access control