Design of Provably Secure Authentication Protocol for Edge-Centric Maritime Transportation System | IEEE Journals & Magazine | IEEE Xplore