基于可滿足性問(wèn)題的非對(duì)稱密碼方案設(shè)計(jì)

打開(kāi)文本圖片集

摘要：基于可滿足性問(wèn)題構(gòu)造加密方案具有挑戰(zhàn)性，關(guān)鍵是如何構(gòu)造具有加密功能的難解的SAT 合取范式，并將明文安全地隱藏在其中。文章首先改進(jìn)了 SRR（ N，k，s ）模型用以隱藏明文;其次，通過(guò)恰當(dāng)選取約束密度值，保證密文的難解性;最后，證明方案滿足選擇明文攻擊（ IND?CPA）是安全的。

關(guān)鍵詞：非對(duì)稱加密;可滿足性問(wèn)題;選擇明文攻擊

1研究背景

公鑰加密（非對(duì)稱加密）體制是保障用戶信息傳輸安全的重要工具，其構(gòu)造往往基于一些難解的困難性問(wèn)題以保障加密體制的安全性。（剩余4215字）