密码学系列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 天前
三生原理与现有密码学的核心区别?
密码学
IT 青年2 天前
密码学(1)LWE,RLWE,MLWE的区别和联系
密码学
曼岛_3 天前
[密码学基础]GB与GM国密标准深度解析:定位、差异与协同发展
密码学·gb与gm
那就摆吧3 天前
实验一-密码学数学基础
密码学
攻防_SRC3 天前
NDSS 2025|侧信道与可信计算攻击技术导读(二)系统化评估新旧缓存侧信道攻击技术
安全·密码学·可信计算技术
曼岛_4 天前
[密码学基础]商用密码应用安全性评估(密评):网络安全新风口,高薪紧缺人才必备技能
网络·web安全·密码学·密拼工程师
曼岛_5 天前
[密码学基础]GM/T 0018-2023 密码设备应用接口规范深度解析:技术革新与开发者实践
密码学
我想回家种地5 天前
密码学(二)流密码
密码学
曼岛_5 天前
[密码学基础]GMT 0029-2014签名验签服务器技术规范深度解析
运维·服务器·密码学·签名验签服务器
明月看潮生5 天前
青少年编程与数学 02-016 Python数据结构与算法 24课题、密码学算法
python·算法·青少年编程·密码学·编程与数学