Trần Thị, N., Nguyễn Đức, C. và Mai Đức, T. (1749920400) Ứ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, Tạp chí Khoa học Giao thông vận tải, 76(5), tr 673-687. doi: 10.47869/tcsj.76.5.3.