Trần Thị, N., Nguyễn Đức, C., & Mai Đức, T. (1749920400). Application of Proverif to verify the security of blockchain-based authentication and key agreement protocols for 5G networks. Transport and Communications Science Journal, 76(5), 673-687. https://doi.org/10.47869/tcsj.76.5.3