密码学系列7-变幻多端的安全性证明

安全性模型并不是一尘不变的。前几篇文章给出的安全性证明基本沿用了系列2中的安全性模型。但安全性模型会随着方案的不同而发生变化。
本章给出两个安全性证明的例子，让读者感受如何定义安全需求并设计安全性证明。

一、基于身份的加密（IBE）

IBE是传统公钥加密的变体。IBE中用户的公钥是身份ID（比如身份证号，学号，工号等），而私钥需要利用ID进行问询获得。
初始化：
1.给定椭圆曲线群$G$，群中选取元素 P P