Login / Signup

Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol.

Ed Kamya Kiyemba EdrisMahdi AiashJonathan Kok-Keng Loo
Published in: SDS (2020)
Keyphrases
  • formal verification
  • formal analysis
  • model checking
  • authentication protocol
  • reinforcement learning
  • data analysis
  • coloured petri nets