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

作者：孙瑞; 黄佳文; 孙学贵^*

来源：无线互联科技, 2022, 19(08): 67-68.

• 非对称加密
• 可满足性问题
• 选择明文攻击

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

• 单位
  上饶师范学院