Quay trở lại chi tiết bài báo Ứ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ải xuống Tải xuống PDF