Trần Thị N, Nguyễn Đức C, Mai Đức T. Ứng dụng Proverif kiểm tra sự an toàn của giao thức xác thực và thỏa thuận khóa dựa vào blockchain cho mạng 5G. vn [Internet]. 1749920400 [cited 26tháng 22026];76(5):673-87. Available from: https://tcsj.utc.edu.vn/index.php/tcgtvt/article/view/2371