KyeongA Kang; Seungbin Lee; Jiyoon Kim. Security Analysis of Network Slicing-Based Mission-Critical Services With Formal Verification Tool. ReBICTE 2024, 10, 134-143.