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