Formal Modelling and Incremental Verification of the MQTT IoT Protocol.
Alejandro RodríguezLars Michael KristensenAdrian RutlePublished in: Trans. Petri Nets Other Model. Concurr. (2019)
Keyphrases
- formal analysis
- formal methods
- model checker
- cryptographic protocols
- protocol specification
- formal specification
- model checking
- incremental learning
- management system
- rfid systems
- formal proof
- security analysis
- communication protocols
- formal verification
- lightweight
- tcp ip
- formal model
- big data
- high security
- colored petri nets
- cloud computing
- data driven
- coloured petri nets
- neural network
- smart home
- incremental version