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, pp. 134–143. doi: 10.69978/rebicte.v10i.198.