Formal verification of secondary authentication protocol for 5G secondary authentication.
Ed Kamya Kiyemba EdrisMahdi AiashJonathan Kok-Keong LooMohammad Shadi Al HakeemPublished in: Int. J. Secur. Networks (2021)
Keyphrases
- authentication protocol
- formal verification
- smart card
- public key
- user authentication
- lightweight
- authentication scheme
- security analysis
- model checking
- secret key
- security protocols
- automated verification
- cryptographic protocols
- password authentication
- authentication mechanism
- symbolic model checking
- key distribution
- model checker
- session key
- rfid tags
- low cost
- multi agent systems