An Efficient and Provably Secure Certificateless Key-Encapsulated Signcryption Scheme for Flying Ad-hoc Network | IEEE Journals & Magazine | IEEE Xplore