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 (December):134-43. https://doi.org/10.69978/rebicte.v10i.198.