Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif. - You, Ilsun; Kim, Jiyoon; Pawana, I Wayan Adi Juliawan; Ko, Yongho (Applied Sciences (2076-3417), 2024)