KYEONGA KANG; SEUNGBIN LEE; JIYOON KIM. Security Analysis of Network Slicing-based Mission-Critical Services with Formal Verification Tool. Research Briefs on Information and Communication Technology Evolution , [S. l.], v. 10, p. 134–143, 2024. DOI: 10.69978/rebicte.v10i.198. Disponível em: https://rebicte.org/index.php/rebicte/article/view/198. Acesso em: 13 feb. 2025.