加密方案的安全概念和ro模型基礎(chǔ)-資料下載頁
2025-07-18 13:16本頁面
【正文】 回答的值，只要設(shè)定得合理 示例： [BR92]中的 CCA方案 Π [BR92] M. Bellare, P. Rogaway. Random Oracles are Practical: a Paradigm for Designing Efficient Protocols. r m f ??(??) G ?? ?? ⊕?? H ??(??||??) 示例： [BR92]中的 CCA方案 ? 方案的安全性： ? 假設(shè) ??是一個(gè)陷門單向函數(shù)， ??,??是 隨機(jī)諭言 ，則方案 Π是 INDCCA2安全的。 ? 證明： ? 假設(shè)存在敵手 A，攻擊方案 Π的 INDCCA2安全性，則可構(gòu)造一個(gè)歸約算法 S，攻破 ??的單向性。 CCA安全性證明 Reduction S Adversary A Chall enger C ??,??? OW of ?? INDCCA2 of ?? ???? = ?? ???? ??list Hlist ??1 ??1 ??1||??1 ??1 … … … … G query ???? ???? H query ????||???? ???? Dec query ??1??||??2??||??3?? ?? ??0,??1 ?? ← 0,1 ,???,??? ???????????? ??? = y?| g? |h? ??? G, H, Dec query ??′ Search Glist amp。 Hlist for ?? . ?? ??? = ??? ??? ? RO詢問： Glist， Hlist ? 解密詢問 ??1??||??2??||??3??：歸約算法沒有私鑰，利用 PA的 思想解密 (源自 RO的可提取性質(zhì) ) ? 在 Glist， Hlist中 找 ????,????，使 ?? ???? = ??1??,??(????| ???? = ??3??,???? ⊕???? = ??2??，則 ????為對應(yīng)明文。順便對每個(gè)列表檢查是否有 ?? ???? = ??? ? 挑戰(zhàn)密文的正確性：可編程性質(zhì) ? 假設(shè) ??? = ??(???)，則實(shí)際上 ?? ??? = ??? ⊕????,??(???| ???? = ??? ? 如何將 A的 CCA2攻擊能力轉(zhuǎn)化為對函數(shù) ??的求逆 ? A如果成功，一定是在某一次諭言詢問中問到了 ??? CCA安全性證明 RO模型中的重要加密方案 RSAOAEP： PKCS 1 m r G s t H RSA FujisakiOkamoto Transformation [FO99] m σ H σ r ??????(??,??) c1 m σ G c2 INDCPA+兩個(gè) RO: 得到 INDCCA2 FO變換的應(yīng)用：BF01IBE RO模型的進(jìn)化： universal putational extractor,UCE
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1