Geodesic
On a method to construct special type corollaries for systems of Boolean equations
Matematičeskie voprosy kriptografii, Tome 14 (2023) no. 1, pp. 115-130 
A. V. Tarasov. On a method to construct special type corollaries for systems of Boolean equations. Matematičeskie voprosy kriptografii, Tome 14 (2023) no. 1, pp. 115-130. http://geodesic.mathdoc.fr/item/MVK_2023_14_1_a7/
@article{MVK_2023_14_1_a7,
     author = {A. V. Tarasov},
     title = {On a method to construct special type corollaries for systems {of~Boolean} equations},
     journal = {Matemati\v{c}eskie voprosy kriptografii},
     pages = {115--130},
     year = {2023},
     volume = {14},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MVK_2023_14_1_a7/}
}
TY  - JOUR
AU  - A. V. Tarasov
TI  - On a method to construct special type corollaries for systems of Boolean equations
JO  - Matematičeskie voprosy kriptografii
PY  - 2023
SP  - 115
EP  - 130
VL  - 14
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MVK_2023_14_1_a7/
LA  - ru
ID  - MVK_2023_14_1_a7
ER  - 
%0 Journal Article
%A A. V. Tarasov
%T On a method to construct special type corollaries for systems of Boolean equations
%J Matematičeskie voprosy kriptografii
%D 2023
%P 115-130
%V 14
%N 1
%U http://geodesic.mathdoc.fr/item/MVK_2023_14_1_a7/
%G ru
%F MVK_2023_14_1_a7

Voir la notice de l'article provenant de la source Math-Net.Ru

We describe an approach to solve systems of Boolean equations by means of bijunctive implicents. We suggest a basic algorithm to find such implicents and discuss the question on the uniqueness of feasibility of the constructed system.

[1] Gorshkov S.P., Tarasov A.V., Slozhnost resheniya sistem bulevykh uravnenii, Kurs, M., 2017, 192 pp.

[2] Logachev O.A., Salnikov A.A., Smyshlyaev S.V., Yaschenko V.V., Bulevy funktsii v teorii kodirovaniya i kriptologii, LENAND, M., 2015, 576 pp.

[3] Courtois N., Meier W., “Algebraic attacks on stream ciphers with linear feedback”, EUROCRYPT'2003, Lect. Notes Comput. Sci., 2656, 2003, 345–359 | DOI | MR | Zbl

[4] Courtois N., “Fast algebraic attacks on stream ciphers with linear feedback”, CRYPTO'2003, Lect. Notes Comput. Sci., 2729, 2003, 176–194 | DOI | MR | Zbl

[5] Chen J.-M., Yang B.-Y., “All in the XL family: theory and practice”, ICISC 2004, Lect. Notes Comput. Sci., 3506, 2005, 67–86 | DOI | MR | Zbl

[6] Dantsin E.Ya., “Algoritmika zadachi vypolnimosti”, Voprosy kibernetiki, 131, 1987, 7–29

[7] Tarasov A.V., “Bulevy biyunktivnye funktsii, grafy 2-KNF i ikh poryadkovye funktsii. Otsenki vesa biyunktivnoi funktsii s zadannym chislom sloev”, Matematicheskie voprosy kriptografii, 12:1 (2021), 83–95 | DOI | MR | Zbl