A Distributed Ledger-Assisted Robust and Trusted Service Protocol for VANETs | IEEE Journals & Magazine | IEEE Xplore