Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version).
Pankaj UpadhyaySubodh SharmaGuangdong BaiPublished in: CoRR (2023)
Keyphrases
- cryptographic protocols
- protocol specification
- security protocols
- high security
- ban logic
- formal analysis
- security analysis
- authentication protocol
- security properties
- key agreement protocol
- communication protocols
- java card
- key exchange protocol
- lightweight
- network layer
- rfid systems
- provably secure
- access control
- key distribution
- smart card
- mutual authentication
- network security
- information security
- denial of service attacks
- standard model
- model checking
- security model
- security services
- key agreement
- integrity verification
- virtual private network
- contractual obligations
- security policies
- model checker
- security issues
- mobile agent system
- group communication
- privacy preserving
- formal methods
- formal verification
- encryption scheme