基于可满足性问题的非对称密码方案设计
打开文本图片集
摘要：基于可满足性问题构造加密方案具有挑战性，关键是如何构造具有加密功能的难解的SAT 合取范式，并将明文安全地隐藏在其中。文章首先改进了 SRR（ N，k，s ）模型用以隐藏明文;其次，通过恰当选取约束密度值，保证密文的难解性;最后，证明方案满足选择明文攻击（ IND⁃CPA）是安全的。
关键词：非对称加密;可满足性问题;选择明文攻击
1研究背景
公钥加密（非对称加密）体制是保障用户信息传输安全的重要工具，其构造往往基于一些难解的困难性问题以保障加密体制的安全性。（剩余4215字）