avatar
文章
104
标签
14
分类
0
首页
时光轴
标签
友链
Logocoperlm's Blog《安全规约导论》阅读笔记
首页
时光轴
标签
友链

《安全规约导论》阅读笔记

发表于2024-10-09|更新于2024-10-10
|浏览量:

此博客为常驻,用于汇总笔者阅读《安全规约导论》一书的学习笔记

这本书里的好东西很多,价值很高,值得充分学习

持续更新中

  1. 安全规约前置知识
  2. 安全规约基础
  3. 荔枝成为BLS短签名糕守
文章作者: coperlm
文章链接: https://coperlm.github.io/2024/10/09/《安全规约导论》阅读笔记00/
版权声明: 本博客所有文章除特别声明外,均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 coperlm's Blog!
常驻
cover of previous post
上一篇
XU-CMA安全是什么
密码学中数字签名方案的安全模型主要包括两种:存在性不可伪造(Existential Unforgeability against chosen-message attacks, EU-CMA)和强不可伪造(Strong Unforgeability against chosen-message attacks, SU-CMA), 本文主要对比这两种安全模型。 两种安全模型都是通过敌手(Adversary)和挑战者(Challenger)之间的游戏(Game)来定义的。首先挑战者生成密钥对 $(pk,sk)$ 并发送 $pk$ 给敌手,自己保存 $sk$ 用来生成签名。敌手可以自适应地提交任意消息,挑战者根据敌手提交的消息生成对应的签名并返回给敌手。最后,敌手返回一个伪造的对未查询过的新消息的签名。 EU-CMA在数字签名里标准的安全模型 在该模型里,敌手可以非随机性地询问任意 message 的 signature 并对任意没有询问过消息的 message 进行 forgery...
cover of next post
下一篇
浅学习一下零知识证明
之前一直听说零知识证明,但是一直没有学习过相关内容 今天在阅读陈教授的《Identity-based chameleon hashing and signatures without key exposure》一文中遇到了,故学习记录一下 知识证明和零知识证明知识证明是Proofs of Knowledge,零知识证明是Zero-Knowlegde Proof 二者之间有很多相似点,也有区别,具体如下 信息泄露的程度 知识证明中,通常证明着不会直接泄露密码,但是可能会提供一些有用的中间信息(例如密文的哈希值) 零知识证明中,验证者在验证的过程中,不能获得任何相关的信息,除了“证明者知道这个秘密” 应用场景 知识证明更侧重确认某人知道某个密码 零知识证明不仅确认某人知道某个密码,还确保验证过程中完全不会泄露任何相关信息 知识证明定义:证明者向验证者展示他们知道某个秘密值,但不一定完全隐藏这个秘密;关键在于,验证者能够确信证明者确实知道这个秘密值 离散对数知识证明Proof of Knowledge of a Discrete Logarithm 证明者拥有一个秘密值...
相关推荐
cover
2024-06-06
BUUCTF crypto wp
[NewStarCTF 2023 公开赛道]Rabin’s RSA12345678910111213141516171819from Crypto.Util.number import *from secret import flagp = getPrime(64)q = getPrime(64)assert p % 4 == 3assert q % 4 == 3n = p * qe = 2m = bytes_to_long(flag)c = pow(m,e,n)print('n =', n)print('c =', c)# n = 201354090531918389422241515534761536573# c = 20442989381348880630046435751193745753 Rabin加密算法——一种基于摸平方和模平方根的非对称加密 特点: 同一密文,可能有两个以上对应的明文 破解该体制等价于对大整数的分解 满足 $p\equiv 3\mod4$ 且 $q\equiv 3\mod4$ Rabin密码体制选取...
cover
2024-10-30
会议/竞赛游记合集
本篇文章用于汇总参加的会议/组会的总结链接 部分内容已加锁 组会2024.10.30组会 2024.9.18组会 2024.9.11组会 2024.9.4组会 其他会议/竞赛2024.9.20南洋理工密码学报告 观后总结 机器人联盟赛/对抗赛游记回忆记录(2024) 厦大一日游(机器人大赛)(2023)
cover
2024-09-11
荔枝橙味拱腰觅马糕守
本篇文章旨在记录笔者阅读《公钥密码方案构造及安全证明的知识要点和方法论》的学习总结和收获 Introduction 归纳总结了构造可证明安全的公钥密码方案所需掌握的知识要点 基本概念 数学基础 简单问题和困难问题 算法 安全规约证明 -> 学习方案构造以及安全证明不可或缺的基础部分 需要最先掌握 学习构造可证明安全的公钥密码方案的方法 方案构造学习(如何学习方案构造) 算法定义和安全模型定义 经典方案推荐 尝试发现方案构造错误 -> 使读者具备构造方案的基本能力 -> 方案的构造与方案的安全证明相互影响,在缺乏安全证明的学习下,读者尚无能力构造可证明安全的方案 安全证明学习(如何学习安全证明,规约相关) 概念学习 证明训练 经典方案推荐 尝试发现证明错误 构造可证明安全密码方案(对构造可证明安全密码的方案方法的建议) 文献阅读 尝试方案构造和安全证明 30个经典方案及其证明用于该阶段的练习 知识要点两本书籍《Modern Cryptography: Theory and...
avatar
coperlm
文章
104
标签
14
分类
0
Follow Me
公告
刚new的博客,还没完善好,图片什么的不能显示
最新文章
关于分布式TEE的一点头脑风暴
关于分布式TEE的一点头脑风暴2025-07-02
高数下学习笔记
高数下学习笔记2025-06-22
数据库2025期末考试重点
数据库2025期末考试重点2025-06-17
操作系统2025期末考试重点
操作系统2025期末考试重点2025-06-17
现代密码学2025期末考试重点
现代密码学2025期末考试重点2025-06-17
©2019 - 2025 By coperlm
框架 Hexo 7.3.0|主题 Butterfly 5.3.5