本文旨在d-正则(3,2s)-CNF问题基础上提出公钥加密系统，但一般的具有正则结构的SAT合取范式并没有加密作用，因此给研究过程带来较大障碍。为了解决此类问题，我们结合并改进SDRRK2S模型作为隐藏明文的工具，通过引入此模型生成难解的d-正则(3,2s)-CNF实例，可以达到密文合取范式难解的目的，从而提高其安全性。