KyeongA Kang, Seungbin Lee, and Jiyoon Kim. “Security Analysis of Network Slicing-Based Mission-Critical Services With Formal Verification Tool”. Research Briefs on Information and Communication Technology Evolution, vol. 10, Dec. 2024, pp. 134-43, doi:10.69978/rebicte.v10i.198.