B-HAS: Blockchain-Assisted Efficient Handover Authentication and Secure Communication Protocol in VANETs | IEEE Journals & Magazine | IEEE Xplore