KyeongA Kang, Seungbin Lee, Jiyoon Kim. Security Analysis of Network Slicing-based Mission-Critical Services with Formal Verification Tool. ReBICTE [Internet]. 2024 Dec. 29 [cited 2025 Feb. 2];10:134-43. Available from: https://rebicte.org/index.php/rebicte/article/view/198