(二十四)在RO模型下的BB方案
上一节主要分析的是H型结构的设计,下面来看一个C型结构的例子。
先看具体的方案设计。
先做一个正确性检验如下:
双线性配对满足以下性质:
插一句分析 假设哈希函数H是一个RO。 如果CDH问题是困难的,那么BB(RO)签名方案在EU - CMA安全模型下是可证明安全的, 其规约损失大约L = qH。其中qH是对RO的哈希问询次数证明:
假定在EU-CMA安全模型下,存在一个敌手
上一节主要分析的是H型结构的设计,下面来看一个C型结构的例子。
先看具体的方案设计。
先做一个正确性检验如下:
双线性配对满足以下性质:
插一句分析 假设哈希函数H是一个RO。 如果CDH问题是困难的,那么BB(RO)签名方案在EU - CMA安全模型下是可证明安全的, 其规约损失大约L = qH。其中qH是对RO的哈希问询次数证明:
假定在EU-CMA安全模型下,存在一个敌手