The invention provides a method and a
system for searching a
password difference
feature based on a weight construction SAT model. The method and the
system mainly solve the problems that more Boolean variables are introduced and the efficiency of searching the
password difference feature is low when an
S box probability is described in the prior art. According to the implementation scheme, the method comprises the steps that a
linear component of a target cryptographic
algorithm is converted into a linear differential propagation
assembly; according to DDT of a target
algorithm S box, Boolean variables are introduced, weights are given, impossible propagation clauses are generated and simplified, and an
S box differential propagation component in the SAT model is obtained; establishing an objective function according to the difference feature probability expected to be searched, and converting the objective function into an objective function part component in a
conjunctive normal form by using weight sequence coding; and forming an SAT model by the components, and solving the SAT model to find out the difference feature of the target
password. The method can effectively reduce the number of Boolean variables introduced for describing the S-box difference probability information, improves the efficiency of searching the difference characteristics of the cryptographic
algorithm, and can be used for the design and analysis of the cryptographic algorithm.