目錄
- 前言
- 一、What is breaking assumption?
- Adversary（敵手）
- Break the propose scheme
- Security model
- Non-negligible advantage（不可忽略的優勢）
- 二、How to Understand breaking assumption
- 三、How to use breaking assumption?（難點）
- 1. 數字簽名
- 2.公鑰加密
- 總結
前言
有幸收聽了郭教授《臥報有個Talk》的第一期報告，
臥報第38期文章介紹了breaking assumption，郭教授的講座報告總結了安全規約的技術方法，也從另外的角度分析安全規約，
本貼將從三個方面具體介紹breaking assumption，
一、What is breaking assumption?
首先，現代密碼在提出之前都需要進行嚴格的安全分析，一種證明的方法——安全規約(security reduction)，關于breaking assumption(攻破假設)定義如下:
假設存在著一個敵手可以在已定義的安全模型下以一個不可忽略的優勢攻破方案，這就是breaking assumption
- Adversary
- Break the propose scheme
- Security model
- Non-negligible advantage
Adversary（敵手）
敵手可以攻破提出的方案
敵手處于安全盒子里，雙方可聽話對話，但是無法看見敵手具體操作，特別是攻破方案時的想法思路（隱藏表情）
安全證明就是證明敵手在blackbox*不能*攻破我們的方案，說明方案安全性
如果能看到對方是怎么樣計算攻破的，那方案一定是不安全的，無須證明了
難點：敵手會說什么？——partially（部分了解）
Break the propose scheme
Security model
example: the EUF-CMA security model for signatures （一種數字簽名）
Non-negligible advantage（不可忽略的優勢）
敵手有可能攻擊失敗
敵手只能以不可忽略的優勢成功ε攻破
是優勢而不是概率*（統一化描述）*
也不能直接考慮ε=1來處理
二、How to Understand breaking assumption
示例：
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.方案未遵循安全模型
，，，幾個例子（略），，，
三、How to use breaking assumption?（難點）
Use a hard problem instance to create a simulated schme. don't use ~~proposed scheme~~ ,（無法解決困難問題）
如何防止敵人在規約程序中出現不可預測行為是最大挑戰！
1. 數字簽名
我們希望：
一、要有攻擊（simulate scheme 像 proposed scheme）
二、要求攻擊可轉換解決困難問題
兩個問題:
一、敵手會詢問哪些訊息的簽名、無法準備簽名？（we don't know!）
二、敵手會對哪些訊息進行簽名偽造？（we don't know!）
解決辦法—— Block the Dead Road（把路堵死）
將敵人要走的對我們很不利的路全部堵死，只留下對我們有利的路！！！(堵死敵人可以判斷對應簽名是可規約或是可模擬的路）
example:basic scheme (待補充)
2.公鑰加密
總結
把路堵死的形象化解釋：
breaking assumption 不可預測？
把路堵死
臥村密碼學報breaking assumption論文原文
【關于作者】本人學術小白，首次發文，本貼有些例子沒有介紹充分，歡迎各位批評指正！
轉載請註明出處，本文鏈接：https://www.uj5u.com/qita/356899.html
標籤：其他