安全性模型并不是一尘不变的。前几篇文章给出的安全性证明基本沿用了系列2中的安全性模型。但安全性模型会随着方案的不同而发生变化。 本章给出两个安全性证明的例子,让读者感受如何定义安全需求并设计安全性证明。 一、基于身份的加密(IBE) IBE是传统公钥加密的变体。IBE中用户的公钥是身份ID(比如身份证号,学号,工号等),而私钥需要利用ID进行问询获得。 初始化: 1.给定椭圆曲线群 G G G,群中选取元素 P P