[IEEE 2020 Seventh International Conference on Software Defined Systems (SDS) - Paris, France (2020.4.20-2020.4.23)] 2020 Seventh International Conference on Software Defined Systems (SDS) - Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol
Edris, Ed Kamya Kiyemba, Aiash, Mahdi, Loo, Jonathan Kok-KengYear:
2020
DOI:
10.1109/SDS49854.2020.9143899
File:
PDF, 906 KB
2020