Formal Verification of 5G EAP-AKA protocol.
Megha AjitSriram SankaranKurunandan JainPublished in: ITNAC (2021)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- automated verification
- bounded model checking
- symbolic model checking
- temporal logic
- artificial intelligence
- program slicing
- lightweight
- modeling language
- set theory
- orders of magnitude
- diffusion mri
- functional verification