Formal Verification of 5GAKA-LCCO Protocol Supporting Forward Secrecy: Through Expanded BAN Logic.
Gunwoo KimYongho KoIlsun YouPublished in: MobiSec (2023)
Keyphrases
- formal verification
- ban logic
- formal analysis
- authentication protocol
- coloured petri nets
- model checker
- model checking
- mutual authentication
- key distribution
- security analysis
- formal methods
- session key
- bounded model checking
- cryptographic protocols
- symbolic model checking
- automated verification
- smart card
- lightweight
- security properties
- public key
- temporal logic
- secret key
- rfid tags
- artificial intelligence