学习
实践
活动
专区
工具
TVP
写文章
专栏首页包罗万想Dan Boneh密码学笔记15

Dan Boneh密码学笔记15

Identity based encryption(IBE)基于身份加密

参考文献:

Boneh, D., & Franklin, M. (2001, August). Identity-based encryption from the Weil pairing. In Annual international cryptology conference (pp. 213-229). Springer, Berlin, Heidelberg.

(来自网络:https://www.fisec.cn/424.html)

具体解释参考 Dan Boneh密码学笔记14

本篇主要讲证明。

下面这张图是把上面的IBE具体算法画出来了。TA 是trust authority,理解为PKG。注意这里有两个哈希,H1用来哈希ID,也就是此处的Alice邮箱号。H2用来哈希双线性对的结果。这篇使用了RO模型,模拟的就是这两个哈希。

BDH假设:

规约证明的思路,先把以上BasicIdent IBE方案规约到一个BasicPub 公钥方案。这两个Adv之间有个关系是可忽略的。

接下来就简单了,把BasicPub公钥方案规约到BDH假设即可。

以下BasicPub就是规约后的公钥方案。注意这里只有一个H2。公钥方案里面不需要之前的那个ID,所以H1没了。

接下来按刚才的思路证明,针对BasicIdent的attacker攻击simulator。simulator和以前我们用的challenger略有不同。challenger是本身拥有敌手需要的信息。simulator是本来他没有假装他有,欺骗敌手,敌手分辨不出来。

左边的BasicPub是一个公钥加密方案,公私钥他都有。

注意simulator发回给attackers的C' 是b的逆乘U。

接下来就是公钥规约到BDH假设,一目了然。

这篇证明是来自Boneh的论文,他使用RO成功证明了这个IBE方案的SS安全。论文还使用FO转换证明了CCA安全。以后学。

文章分享自微信公众号:
包罗万想

本文参与 腾讯云自媒体分享计划 ,欢迎热爱写作的你一起参与!

作者:安包
原始发表时间:2019-12-16
如有侵权,请联系 cloudcommunity@tencent.com 删除。
登录 后参与评论
0 条评论

相关文章

  • Dan Boneh密码学笔记7

    1.Active attacks on CPA-secure encryption

    安包
  • Dan Boneh密码学笔记2

    实际上我的学习时间得在四个小时才够,而且得是脑子清醒的四个小时。这还是刚开始简单的流密码......感觉也就听懂了90%,真正消化完......尤其那些安全性的...

    安包
  • Dan Boneh密码学笔记9

    TTP发送给Alice用Alice密钥加密的信息,包括”这个共享密钥是AB之间的“和Kab。

    安包
  • Dan Boneh密码学笔记5

    ⇒ attacker cannot produce a valid tag for a newmessage

    安包
  • Dan Boneh密码学笔记8

    3.Deterministic Encryption Constructions:SIV and wide PRP

    安包
  • Dan Boneh密码学笔记6

    这个定理:如果底层MAC是安全的,且H是抗碰撞的,那么这个组合可以计算长信息的MAC,得到的MAC也是安全的。

    安包
  • Dan Boneh密码学笔记3

    安包
  • Dan Boneh密码学笔记10

    更新本节用了三天。最近开学事情有点多,学习上有点不知道先学哪个。要学的东西太多了,区块链安全的15篇论文、以太坊的课程、密码学课程(进度10/13)、UC安全框...

    安包
  • Dan Boneh密码学笔记1

    https://crypto.stanford.edu/~dabo/courses/OnlineCrypto/

    安包
  • Dan Boneh密码学笔记13

    Boneh的课程更新到12章就没了,好像明年会继续更新,第一次像追剧一样追一门课。可太刺激了。

    安包
  • Dan Boneh密码学笔记4

    4.modes of operation: many time key (CBC)

    安包
  • Dan Boneh密码学笔记12

    12.Public key encryption from Diffie-Hellman

    安包
  • Dan Boneh密码学笔记11

    11.Public Key Encryption from trapdoor permutations

    安包
  • Dan Boneh密码学笔记14

    Elliptic Curve Diffie-Hellman Key Exchange

    安包
  • 密码学安全归约6 Simulation and Solution

    密码学安全归约1 Algorithm and Security Model Definitions

    安包
  • Pairings in Cryptography

    Dan Boneh密码学笔记14这篇part3介绍了bilinear pairing。

    安包
  • Random oracles(2)

    上面这篇笔记引用自Fuchun Guo, Willy Susilo, Yi Mu 《Introduction to security reduction》介绍了...

    安包

扫码关注腾讯云开发者

领取腾讯云代金券