Thinh LV. Paradigms in Security Protocol Verification: A Multi-Tool Analysis . ISJ [Internet]. 2024Dec.19 [cited 2025May17];3(23):62-81. Available from: https://isj.vn/index.php/journal_STIS/article/view/1059