Login / Signup
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol.
Ed Kamya Kiyemba Edris
Mahdi Aiash
Jonathan Kok-Keng Loo
Published in:
SDS (2020)
Keyphrases
</>
formal verification
formal analysis
model checking
authentication protocol
reinforcement learning
data analysis
coloured petri nets