KyeongA Kang, Seungbin Lee and 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, (Dec. 2024), 134–143. DOI:https://doi.org/10.69978/rebicte.v10i.198.