Abstract:The proposed forward-secure public-key encryption scheme with untrusted update has no provable security,so there is doubt about the security of the proposed schemes.This paper extended the forward-secure public-key encryption scheme and proposed the provable secure forward-secure public-key encryption scheme with untrusted update.It presented the definition of forward-secure public-key encryption scheme with untrusted update.According to the definition of scheme,it proposed the for-ward-secure public-key encryption scheme with untrusted update using bilinear mapping and efficient symmetric encryption scheme,and proved the security of the scheme based on random oracle.Through analysis,the proposed scheme is practicality as it has constant size ciphertext,constant size of private key,constant overhead of encryption and decryption algorithms,con-stant overhead of key update algorithm.

Forward-secure public-key encryption scheme with untrusted update:security model and constructions