Abstract
The article consider possibility of applying the algebraic analysis method to the Chinese national standard (SM4 cipher). Research presents approaches to algebraic analysis of the reliability of symmetric block ciphers by solving Boolean satisfiability (SAT) problem. The principle of formation of the SAT problem for algebraic analysis of SM4 cipher is proposed, as well as the parameters of the obtained SAT problems.
Export citation and abstract BibTeX RIS
Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.