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