摘要:目录前言一敌手不可忽略的优势二三难点数字签名公钥加密总结前言有幸收听了郭教授卧报有个的第一期报告。郭教授的讲座报告总结了安全规约的技术方法,也从另外的角度分析安全规约。本贴将从三个方面具体介绍。
有幸收听了郭教授《卧报有个Talk》的第一期报告。卧报第38期文章介绍了breaking assumption。郭教授的讲座报告总结了安全规约的技术方法,也从另外的角度分析安全规约。本贴将从三个方面具体介绍breaking assumption。
首先,现代密码在提出之前都需要进行严格的安全分析,一种证明的方法——安全规约(security reduction)。关于breaking assumption(攻破假设)定义如下:
假设存在着一个敌手可以在已定义的安全模型下以一个不可忽略的优势攻破方案,这就是breaking assumption
- Adversary
- Break the propose scheme
- Security model
- Non-negligible advantage
敌手可以攻破提出的方案 敌手处于安全盒子里,双方可听话对话,但是无法看见敌手具体操作,特别是攻破方案时的想法思路(隐藏表情) 安全证明就是证明敌手在blackbox*不能*攻破我们的方案,说明方案安全性 如果能看到对方是怎么样计算攻破的,那方案一定是不安全的,无须证明了
难点:敌手会说什么?——partially(部分了解)
example: the EUF-CMA security model for signatures (一种数字签名)
敌手有可能攻击失败敌手只能以不可忽略的优势成功ε攻破是优势而不是概率*(统一化描述)*也不能直接考虑ε=1来处理
示例:
If we meet the adversary in Wollonggong,he will say "Hey I am the Alien!"If we meet the adversary in Taian,he will say ? answer: We don’t know!He Will repeat? possible!the probability?We don’t know!
行为的不可预测!!!
scheme没有正确回复敌手的请求,敌手就会产生行为的不可预测性!
发生条件:
1.敌手发现所收到的签名/公钥等不真实
2.方案未遵循安全模型
。。。几个例子(略)。。。
Use a hard problem instance to create a simulated schme. don"t use ~~proposed scheme~~ ,(无法解决困难问题)
如何防止敌人在规约过程中出现不可预测行为是最大挑战!
解决办法—— Block the Dead Road(把路堵死)
将敌人要走的对我们很不利的路全部堵死,只留下对我们有利的路!!!(堵死敌人可以判断对应签名是可规约或是可模拟的路)
example:basic scheme (待补充)
把路堵死的形象化解释:
breaking assumption 不可预测?
把路堵死
卧村密码学报breaking assumption论文原文
【关于作者】本人学术小白,首次发文,本贴有些例子没有介绍充分,欢迎各位批评指正!
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/123244.html
摘要:程序失败时,很难确定错误的位置。它保护客户免受单位工作细节的影响。将前提条件放在中,并将后置条件放入和。涉及可变对象的契约现在取决于每个引用可变对象的每个人的良好行为。设计规约按规约分类比较规约它是如何确定性的。 大纲 1.编程语言中的功能/方法2.规约:便于交流的编程,为什么需要规约 行为等同规约结构:前提条件和后条件测试和验证规约3.设计规约分类规约图表规约质量规约4.总结 编程...
摘要:理解迭代对象迭代器生成器后端掘金本文源自作者的一篇博文,原文是,俺写的这篇文章是按照自己的理解做的参考翻译。比较的是两个对象的内容是后端掘金黑魔法之协程异步后端掘金本文为作者原创,转载请先与作者联系。 完全理解关键字with与上下文管理器 - 掘金如果你有阅读源码的习惯,可能会看到一些优秀的代码经常出现带有 with 关键字的语句,它通常用在什么场景呢?今天就来说说 with 和 上下...
摘要:注意事项声明函数时候处理业务逻辑区分和单例的区别,配合单例实现初始化构造函数大写字母开头推荐注意的成本。简单工厂模式使用一个类通常为单体来生成实例。 @(书籍阅读)[JavaScript, 设计模式] 常见设计模式 一直对设计模式不太懂,花了一下午加一晚上的时间,好好的看了看各种设计模式,并总结了一下。 设计模式简介 设计模式概念解读 设计模式的发展与在JavaScript中的应用 ...
摘要:在年月,在经过多方的讨论之后,推出了。这一规范一出现就引起了各方的注意,随即公司和公司纷纷表示自己的浏览器能够支持。这个特殊规则是将设置为,将设置为。 作者:陈大鱼头 github: KRISACHAN HTML的诞生 HTML是怎么来的? 在1982年的时候,万维网的发明者Tim Berners-Lee爵士为了让全世界的物理学家能够方便的进行合作与信息共享,造了HTML(Hype...
阅读 1921·2021-11-19 09:40
阅读 2397·2021-11-15 11:37
阅读 1727·2021-11-08 13:24
阅读 2323·2021-10-18 13:24
阅读 2654·2021-10-11 10:57
阅读 3385·2021-09-22 15:42
阅读 3656·2021-09-06 15:00
阅读 664·2019-12-27 11:54