密码学系列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.最后,给出安全证明的变体

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

相关推荐
思考的笛卡尔1 天前
密码学基础:RSA与AES算法的实现与对比
网络·算法·密码学
openHiTLS密码开源社区1 天前
【密码学实战】openHiTLS passwd命令行:专业密码哈希生成工具
linux·密码学·哈希算法·ldap·密码策略·随机盐值
啥都不懂的小小白1 天前
密码学入门:从古典加密到现代网络安全
安全·web安全·密码学
vlln1 天前
【调研】加密货币/BTC/区块链的发展历史(2025)
区块链·密码学
要做朋鱼燕2 天前
【AES加密专题】1.AES的原理详解和加密过程
运维·网络·密码学·c·加密·aes·嵌入式工具
奔跑吧邓邓子4 天前
【C++实战(74)】深入C++安全编程:密码学实战之旅
c++·安全·实战·密码学·安全编程
学编程的小鬼5 天前
密码学中的Salt
密码学
搬砖魁首5 天前
密码学系列 - 零知识证明(ZKP) - NTT运算
区块链·密码学·零知识证明·fft·ntt
yjx233329 天前
《应用密码学》——基本协议(笔记)
笔记·密码学
Chen--Xing12 天前
OpenMP并行化编程指南
c++·密码学·openmp