An Efficient and Provably Secure Certificateless Protocol for Industrial Internet of Things | IEEE Journals & Magazine | IEEE Xplore