密码学系列0-总述

通过这一系列文章,帮助读者能快速入门密码学安全性证明。

这一系列文章主要包括以下内容:

1.可证明安全的概念

2.密码学常用困难性问题:CDH,DDH,DLP,BDH等。然后讨论问非对称,对称双线性配对上困难性问题。讨论为什么对称双线性DDH为什么不成立

3.介绍了密码学中常用的安全性模型:IND-CPA,IND-CCA1,(selective,adaptive) IND-CCA2,EUF-CMA

4.介绍了Elgamal加密,并证明了其IND-CPA安全

5,介绍了Cramer-Shoup加密,并证明去IND-CCA2安全。同时讨论同态加密能达到的安全性

5.介绍了BLS短签名,并分析了方案的EUF-CMA安全

6.介绍了标准模型和随机语言机模型的概念和区别

7.最后,给出安全证明的变体

并且在每一篇文章中,给读者一些思考,从浅入深一步步学会可证明安全。

相关推荐
christine-rr1 天前
密码学基础——密码学相关概念
网络·安全·密码学·加密
AntResearch1 天前
蚂蚁集团主导的ISO密码学国际标准立项,纳入国产算法
网络·密码学
攻城狮7号3 天前
【密码学】一文了解密码学的基本
信息安全·密码学
NWJ_MP4 天前
解决关于原生gmssl无法直接输出sm2私钥明文的问题
密码学·gmssl·sm2·sm2 私钥
屎派克4 天前
密码学——知识问答
安全·密码学
靖靖桑5 天前
深入理解椭圆曲线密码学(ECC)与区块链加密
区块链·密码学
网安秘谈6 天前
椭圆曲线密码学(ECC)深度解析:下一代非对称加密的核心
密码学
秋说7 天前
【区块链安全 | 第一篇】密码学原理
安全·区块链·密码学
筑梦之月7 天前
常用密码学算法分类
算法·密码学
网安秘谈7 天前
密码学国密算法深度解析:SM2椭圆曲线密码与SM3密码杂凑算法
算法·密码学