Formal Verification of 5G-EAP-TLS Authentication Protocol.
Jingjing ZhangQiang WangLin YangTao FengPublished in: DSC (2019)
Keyphrases
- formal verification
- authentication protocol
- model checking
- smart card
- lightweight
- security analysis
- model checker
- public key
- bounded model checking
- rfid tags
- security protocols
- automated verification
- diffusion mri
- symbolic model checking
- secret key
- cryptographic protocols
- hash functions
- web services
- signature scheme
- temporal logic
- operating system
- wireless sensor networks