1. On the authentication and re-authentication protocols in LTE-WLAN interworking architecture;Alezabi;Trans. Emerg. Telecommun. Technol.,2017
2. What will 5G be?;Andrews;IEEE JSAC,2014
3. AVISPA v1.1 User Manual, 2006.
4. A logic of authentication;Burrows;ACM Trans. Comput. Syst.,1990
5. A survey on security aspects for LTE and LTE-A networks;Cao;IEEE Commun. Surv. Tutor.,2014