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

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

相关推荐
courniche5 小时前
分组密码常见结构简介
算法·密码学
openHiTLS密码开源社区2 天前
【密码学实战】openHiTLS s_server命令行:搭建国密标准安全通信服务器
服务器·物联网·密码学·openhitls·tlcp·商用密码算法·dtlcp
我不是QI3 天前
DES 加密算法:核心组件、加解密流程与安全特性
经验分享·算法·安全·网络安全·密码学
要做朋鱼燕4 天前
密码学安全:CIA三元组与三大核心技术
网络·笔记·密码学·嵌入式·加密·aes
思考的笛卡尔8 天前
密码学基础:RSA与AES算法的实现与对比
网络·算法·密码学
openHiTLS密码开源社区9 天前
【密码学实战】openHiTLS passwd命令行:专业密码哈希生成工具
linux·密码学·哈希算法·ldap·密码策略·随机盐值
啥都不懂的小小白9 天前
密码学入门:从古典加密到现代网络安全
安全·web安全·密码学
vlln9 天前
【调研】加密货币/BTC/区块链的发展历史(2025)
区块链·密码学
要做朋鱼燕9 天前
【AES加密专题】1.AES的原理详解和加密过程
运维·网络·密码学·c·加密·aes·嵌入式工具
奔跑吧邓邓子12 天前
【C++实战(74)】深入C++安全编程:密码学实战之旅
c++·安全·实战·密码学·安全编程