SAT求解方法在非对称密码体制密码分析中的应用
密码学与安全
2009-07-13 v1 离散数学
摘要
离散数学中最有趣的问题之一是SAT(可满足性)问题。SAT求解器开发的一个良好途径是将SAT问题转化为与合取范式(CNF)相关的泛函的连续全局最小值搜索问题。本文证明了该泛函的特殊构造，并提出通过修正的逐次逼近法求解确定泛函驻点的非线性代数方程组。本文描述了该方法的并行版本。同时给出了将该方法应用于非对称密码体制密码分析重要问题的方案，包括大整数分解问题中乘数(二进制形式)的具体比特位确定以及离散对数问题中指数的具体比特位确定。
引用
@article{arxiv.0907.1755,
title = {The SAT solving method as applied to cryptographic analysis of asymmetric ciphers},
author = {R. T. Faizullin and I. G. Khnykin and V. I. Dylkeyt},
journal= {arXiv preprint arXiv:0907.1755},
year = {2009}
}
备注
10 pages, 3 figures