已提出的不可信更新的前向安全公钥加密方案没有安全性证明，因此对方案的安全性存在质疑。对前向安全公钥加密方案进行扩展，给出具有可证明安全的不可信更新前向安全公钥加密方案，提出了不可信更新的前向安全公钥加密的方案定义和形式化安全性模型。根据方案定义，运用双线性映射技术以及高效的对称加密机制，提出一个不可信更新的前向安全公钥加密方案，并在随机预言机模型下证明了该方案的安全性。通过分析，该方案具有定长密文、定长私钥、固定加/解密开销、固定密钥更新开销的特点，具有一定的实用性。