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

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

相关推荐
Turbo正则2 小时前
量子计算基础概念以及八大分支
密码学·量子计算
网安INF11 天前
公钥加密与签名算法计算详解(含计算题例子)
网络·算法·网络安全·密码学
电院工程师12 天前
基于机器学习的侧信道分析(MLSCA)Python实现(带测试)
人工智能·python·嵌入式硬件·安全·机器学习·密码学
电院工程师13 天前
SM3算法C语言实现(无第三方库,带测试)
c语言·算法·安全·密码学
小七mod15 天前
【BTC】密码学原理
web3·区块链·密码学·比特币·btc·肖臻·北大区块链
电院工程师20 天前
轻量级密码算法PRESENT的C语言实现(无第三方库)
c语言·算法·安全·密码学
电院工程师20 天前
轻量级密码算法CHAM的python实现
python·嵌入式硬件·算法·安全·密码学
电院工程师21 天前
SM3算法Python实现(无第三方库)
开发语言·python·算法·安全·密码学
网安INF21 天前
SHA-1算法详解:原理、特点与应用
java·算法·密码学
渗透好难24 天前
CTF show 数学不及格
安全·系统安全·密码学