基于可满足性问题的非对称密码方案设计

摘要：

基于可满足性问题构造加密方案具有挑战性,关键是如何构造具有加密功能的难解的SAT合取范式,并将明文安全地隐藏在其中.文章首先改进了SRR(N,k,s)模型用以隐藏明文;其次,通过恰当选取约束密度值,保证密文的难解性;最后,证明方案满足选择明文攻击(IND?CPA)是安全的.

关键词：非对称加密、可满足性问题、选择明文攻击

所属期刊栏目：19

分类号：TP393.08;TN918.4;TN791

资助基金：国家自然科学基金;新型媒介对赣南革命老区留守儿童体质健康的影响研究;可验证的公钥密码体制构造及可证明安全的方法研究

在线出版日期：2022-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：67-68