Ko, Y.; Pawana, I.W.A.J.; Won, T.; Astillo, P.V.; You, I.
Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option. Appl. Sci. 2024, 14, 11152.
https://doi.org/10.3390/app142311152
AMA Style
Ko Y, Pawana IWAJ, Won T, Astillo PV, You I.
Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option. Applied Sciences. 2024; 14(23):11152.
https://doi.org/10.3390/app142311152
Chicago/Turabian Style
Ko, Yongho, I Wayan Adi Juliawan Pawana, Taeho Won, Philip Virgil Astillo, and Ilsun You.
2024. "Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option" Applied Sciences 14, no. 23: 11152.
https://doi.org/10.3390/app142311152
APA Style
Ko, Y., Pawana, I. W. A. J., Won, T., Astillo, P. V., & You, I.
(2024). Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option. Applied Sciences, 14(23), 11152.
https://doi.org/10.3390/app142311152
