Symbolic Verification of Mesh Commissioning Protocol of Thread.
Pankaj UpadhyaySubodh SharmaGuangdong BaiPublished in: ISEC (2024)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- d mesh
- formal proof
- coloured petri nets
- formal methods
- colored petri nets
- symbolic representation
- formal verification
- surface meshes
- signature verification
- security analysis
- petri net
- high level
- application layer
- data sets
- authentication protocol
- communication protocols
- high security
- national library of medicine