A provably secure certificateless public key encryption with keyword search. (2nd January 2019)