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

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

相关推荐
The_Killer.1 小时前
格密码--数学基础--06对偶空间与对偶格
学习·线性代数·密码学
The_Killer.1 天前
格密码--数学基础--02基变换、幺模矩阵与 Hermite 标准形
线性代数·矩阵·密码学
SCIS5881 天前
深入理解区块链 | 去中心化架构与密码学保障
区块链·密码学·数据安全
Draina3 天前
在pycharm中运行sagemath脚本的配置过程
ide·python·安全·pycharm·密码学
花木偶5 天前
【郑大二年级信安小学期】Day6:CTF密码学&杂项&工具包
安全·web安全·密码学
Chen--Xing5 天前
第一届OpenHarmonyCTF--Crypto--WriteUp
网络安全·密码学·harmonyos
山登绝顶我为峰 3(^v^)37 天前
如何录制带备注的演示文稿(LaTex Beamer + Pympress)
c++·线性代数·算法·计算机·密码学·音视频·latex
应长天8 天前
密码学(斯坦福)
密码学
Turbo正则9 天前
量子计算基础概念以及八大分支
密码学·量子计算
网安INF20 天前
公钥加密与签名算法计算详解(含计算题例子)
网络·算法·网络安全·密码学