Минимизация функционалов,ассоциированных с задачами криптографического анализа асимметриччных шрифтов

В работе рассматривается модификация метода логического криптоанализа [1], основанная на процедуре минимизации функционалов, ассоциированных с задача­ми криптографического анализа асимметричных шифров. Предложены алгоритмы сведения криптографических алгоритмов ESA, дискретного логарифмирования и дискретного логарифмирования на эллиптических кривых к задаче ВЫПОЛНИ­МОСТЬ.
Global optimization problems associated with cryptographic analysis of asymmetric ciphers. The aim of this article is to establish relation between well-known problems of cryptographic analysis and global optimization problems which can be associated with SAT representation of cryptographic algorithms where bits of key is part of SAT solution string. There was constructions SAT forms for factorization problem, SAT forms for logarithmic problem and logarithmic problem on elliptic curves. For numerical solution was adapted some low relaxation algorithms and for example results of numerical experiments give to us strong more then 50% bits for unknowns in SAT factorization form.