密码学安全性证明中的挑战者和攻击者

challenger 的中文意思是挑战者,在密码学里,我们却应理解为接受挑战的人。

在密码学里，要考虑IND-CCA安全，往往考虑一个游戏.游戏的参与者包括敌手(attacker)和受挑战者(challenger)。游戏的规则是这样的：attacker先选两个明文M和N然后challenger随机选择一个进行加密得到密文C，在游戏结束前的任何时候attacker可以向challenger作一些查询工作，包括对hash函数的查询和对一些密文进行解密查询，当然不能对C进行查询。当attcker认为可以结束游戏了，他得向challenger报告一个答案，即他认为的C对应的明文(M和N中的一个)，如他给的答案确实和challenger当初选的明文一样，那么attacker就赢了游戏。

一个密码体制不满足IND-CCA，如果多次上述游戏中，attcker能赢得游戏的平均概率是1/2+e，e是一个大于0的数。

密码学安全性证明中的挑战者和攻击者相关推荐

【密码学】Schnorr认证，Schnorr签名，安全性证明
Schnorr是Sigma协议的实例,从Schnorr 认证协议和Schnor签名两个部分来介绍.在前面关于认证协议的讲述中,用到了一些特定的符号,这里会继续使用. 首先认识Schnorr认证协议,定 ...
身份基加密方案的安全性证明
在上一篇博客中,介绍了Boneh-Franklin的基于身份的加密方案,准确地说,是介绍了Boneh-Franklin论文[1]中最基础的方案--BasicIdent.在这篇博客中,主要论述Basic ...
ECDSA安全性证明
本文主要对2021年CCS的论文<Efficient Online-friendly Two-Party ECDSA Signature>这篇论文方案进行简述,并对椭圆曲线数字签名进行了安 ...
读心术：从零知识证明中提取「知识」——探索零知识证明系列（三）
本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md 导言:有些理论非常有趣,零 ...
ElGamal密码及其安全性证明
ElGamal 在 DDH下的 IND-CPA 安全性有关DDH和ElGamal Diffie-Hellman Protocol 有限循环群 G\mathbb{G}G (e.gG=(Zp)∗)\le ...
idea中出现紫色_紫色测试和安全性实验中的混乱工程
idea中出现紫色我们使用技术构建产品和服务的方式正在不断发展,其发展速度难以理解. 遗憾的是,用于确保设计方法安全的主要方法是预防性的,这意味着我们正在无状态的世界中设计有状态的安全性. 我们设计 ...
基于身份的密码体制 BF IBE 2001 方案及安全性证明内容小结
基于身份的密码体制 BF IBE 2001 方案及安全性证明内容小结密码学可证明安全推荐书目(系列博客内容为这两本书学习笔记与内容小结): <密码学中的可证明安全性>杨波 :清华大学出 ...
密码学区块链中的应用专栏【简介】
密码学 & 区块链中的应用 By Blake chen 专栏内容总览(Mindmap) 目录及其组织结构 1 密码学 1.1 什么是密码学 1.2 密码学的发展阶段和简史 1.3 古典 ...
密码学归约证明——计数器CTR模式
1. 计数器CTR模式选择,计算,.不加密并作为密文的一部分发送. 2. CTR模式的CPA安全若是,则模式是安全的. 挑战密文在实验中被加密时,设表示初始,表示加密挑战密文每个分组.要求从未被加 ...

密码学安全性证明中的挑战者和攻击者

密码学安全性证明中的挑战者和攻击者相关推荐

最新文章

热门文章