[IEEE 2020 Seventh International Conference on Software...

  • Main
  • [IEEE 2020 Seventh International...

[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-Keng
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2020
DOI:
10.1109/SDS49854.2020.9143899
File:
PDF, 906 KB
2020
Conversion to is in progress
Conversion to is failed