Formalization and Verification of MQTT-SN Communication Using CSP.
Wei LinSini ChenHuibiao ZhuPublished in: ECBS (2023)
Keyphrases
- constraint satisfaction problems
- communication systems
- communication protocols
- formal analysis
- computer networks
- optimal solution
- decomposition methods
- resource constrained
- constraint propagation
- information sharing
- np hard
- artificial intelligence
- communication cost
- communication networks
- model checking
- knowledge representation
- signature verification
- communication protocol