Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo: Formalization and evaluation of EAP-AKA' protocol for 5G network access security. Array 16: 100254 (2022)