weixin_39529207的博客

本文初步介绍了密码学中的可证明安全技术, 阐述了安全性证明的基本逻辑, 并针对基于归约和基于模拟的证明技术给出了三个示例, 能帮助读者快速了解密码学中可证明安全的思想内涵

在阅读密码学相关的论文时会遇到各类符号, 即使有的论文命名法和符号风格不同, 但在符号使用规律上基本都保持一致. 因此, 本文将持续性地总结记录现代密码学中的常见符号和表示法, 方便查阅参考, 并还会结合$\LaTeX$相关命LaTeX\LaTeXLATE​X代码, 以缓解记忆密码学论文中繁琐符号含义所带来的烦躁心情🤡. 本文内容也将会动态更新, 在后续的学习过程中会不断添加新遇到的各类记号, 也欢迎大家分享和指正. 文章所在的专栏包括了其他密码学相关的文章, 欢迎阅读并给出意见!最后以一句歌词作为结束.

本文将系统性地总结密码学中常见的安全模型定义。在阅读本文前，可以了解如下预备知识：现代密码学是一门怎样的学科？数据的机密性、完整性与实体的抗否性是什么意思？完美安全和语义安全的含义是什么？数据的机密性、完整性和实体的抗否性是一个信息安全系统所要保障的主要目标，也是一个密码算法所应满足的基本指标。而在现代密码学与可证明安全的语义下，机密性等含义有着更加严格和完善的定义。

本文将介绍密码学中的PRF、PRP等相关概念，并介绍 PRP/PRF 转换引理及其证明，希望读完本文后，你能对现代密码学中这几个基础概念有所了解。在开始本文前，希望你有如下预备知识：现代密码学是怎样的一门学科？“Security Through Obscurity” 是什么意思？集合、极限、函数、随机变量、采样等数学概念是什么？概述在之前的一篇博客中提到，伪随机性是现代密码学的根基，每一个密码算法都需要有这样的伪随机性来源。而伪随机数发生器只是一个承载伪随机性的初等原语，其数学性质和模型都太

本文将讨论密码学中的 前向安全性（Forward Security） 与 后向安全性（Backward Security） ，希望读完本文后，你再也不会混淆这两个概念。在开始本文之前，希望你有如下预备知识：密码学（Cryptography）是一门什么样的学科？单向函数（One Way Function）是什么？有哪些例子？密码算法与密钥是什么？敌手（Adversary）在密码学中是一个怎样的概念？