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.64799/rebicte.v10.9.