Trần Thị, N., Nguyễn Đức, C. and 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 (1749920400), 673-687. DOI:https://doi.org/10.47869/tcsj.76.5.3.