Login / Signup

FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT.

Yuan FeiHuibiao ZhuJiaqi Yin
Published in: Formal Aspects Comput. (2023)
Keyphrases
  • formal verification
  • lightweight
  • main contribution
  • model checking
  • reinforcement learning
  • management system
  • software development
  • orders of magnitude
  • theoretical framework
  • multi party