We propose a framework of identity-based proxy re-encryption (IBPRE2) system for cloud computing.

We formally define the CCA (chosen-ciphertext attack) security of the IBPRE2.

We construct an IBPRE2 scheme and prove its CCA-security assuming that the underlying cryptographic primitives are secure.