摘要：本文初步介绍了密码学中的可证明安全技术, 阐述了安全性证明的基本逻辑, 并针对基于归约和基于模拟的证明技术给出了三个示例, 初步介绍可证明安全这一话题的基本思想 阅读全文

摘要：本文将总结现代密码学 (Modern Cryptography) 中的常见数学符号, 了解以下预备知识可以极大增加本文的阅读体验: 离散数学, 线性代数与概率论三门课程中的主要数学记号及其含义 ? 现代密码学是一门什么样的学科 ? LaTeX 的基本用法与常见数学符号命令有哪些 ? 在阅读密码学相关 阅读全文

摘要：本文就将围绕着安全系统的机密性、完整性、抗否性主要目标，系统梳理与总结下现代密码学标准定义中的若干安全模型，如IND-CPA、IND-CCA、EUF-CMA、INT-CTXT以及后量子安全模型等。 阅读全文

摘要：本文将介绍密码学中的PRF、PRP等相关概念，并介绍 PRP/PRF 转换引理及其证明，希望读完本文后，你能对现代密码学中这几个基础概念有所了解。 在开始本文前，希望你有如下预备知识： 现代密码学是怎样的一门学科？ “Security Through Obscurity” 是什么意思？ 集合、极限、 阅读全文

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