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 1tháng 72025];76(5):673-87. Available from: https://tcsj.utc.edu.vn/index.php/tcgtvt/article/view/2371