A verifiable proxy re-encryption with keyword search without Random Oracle