![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
现代密码学
文章平均质量分 83
皮皮罴
这个作者很懒,什么都没留下…
展开
-
密码学归约证明——一次性签名方案
针对Lamport的一次性签名方案的安全性作系统证明。原创 2023-01-01 12:54:51 · 687 阅读 · 0 评论 -
密码学归约证明——哈希签名范式的安全性
针对数字签名中哈希签名范式适应性选择消息攻击下存在性不可伪造作系统证明。原创 2023-01-01 12:08:32 · 301 阅读 · 0 评论 -
密码学归约证明——ElGamal加密方案的CPA安全性
对ElGamal公钥加密方案的安全性作系统证明。原创 2023-01-01 11:28:33 · 1165 阅读 · 1 评论 -
密码学归约证明——DH密钥交换协议在窃听者存在的情况下的安全性
对DH密钥交换协议的安全性作系统证明。原创 2022-12-31 21:28:06 · 563 阅读 · 0 评论 -
密码学归约证明——基于陷门置换簇的公钥加密
对基于TDP的1比特消息长度的公钥加密方案的CPA安全性做文字性证明。原创 2022-12-30 21:49:38 · 322 阅读 · 0 评论 -
密码学归约证明——计数器CTR模式
对CTR模式的CPA安全性归约证明进行文字表述。原创 2022-12-28 19:44:13 · 700 阅读 · 0 评论 -
密码学归约证明——基于伪随机函数的消息鉴别码方案
针对密码学中基于伪随机函数的适应性选择消息攻击下不可伪造的的定长消息鉴别码方案的安全性证明给出文字表述。原创 2022-12-23 17:38:40 · 306 阅读 · 0 评论 -
密码学归约证明——选择明文攻击下的不可区分性
简要介绍选择明文攻击CPA条件下的不可区分加密,并给出针对CPA不可区分加密方案构造方案的归约证明。原创 2022-09-14 21:43:00 · 2906 阅读 · 0 评论 -
密码学归约证明——定长对称加密密钥的敌手不可区分性
简要介绍“归约证明”的基本思想,并利用定长对称密钥加密方案的敌手不可区分性进行实践。原创 2022-09-03 21:23:10 · 1505 阅读 · 0 评论