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 10 (December 29, 2024): 134–143. Accessed February 2, 2025. https://rebicte.org/index.php/rebicte/article/view/198.