Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif

Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif

The rapid evolution of mobile and optical communication technologies is driving the transition from 5G to 6G networks. This transition inevitably brings about changes in authentication scenarios, as new security demands emerge that go beyond the capabilities of existing frameworks. Therefore, it is...

Full description

Bibliographic Details
Main Authors: Ilsun You, Jiyoon Kim, I Wayan Adi Juliawan Pawana, Yongho Ko
Format: Article
Language:English
Published: MDPI AG 2024-10-01
Series:Applied Sciences
Subjects:
6G AKA
formal verification
security protocol
Online Access:https://www.mdpi.com/2076-3417/14/21/9726

Internet

https://www.mdpi.com/2076-3417/14/21/9726

Similar Items