KyeongA Kang, Seungbin Lee, & Jiyoon Kim. (2024). Security Analysis of Network Slicing-based Mission-Critical Services with Formal Verification Tool. Research Briefs on Information and Communication Technology Evolution, 10, 134–143. https://doi.org/10.69978/rebicte.v10i.198