|
|
|
|
| LEADER |
03196nab a2200325 c 4500 |
| 001 |
koha000719736 |
| 005 |
20241001142457.0 |
| 007 |
cr | |
| 008 |
211013|2021 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/2226308X/14/23
|2 doi
|
| 035 |
|
|
|a koha000719736
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Семенов, Александр Анатольевич
|
| 245 |
1 |
0 |
|a Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
|c А. А. Семёнов, К. В. Антонов, И. А. Грибанова
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 20
|
| 520 |
3 |
|
|a Описывается новая техника, предназначенная для дополнения исходной системы ограничений в задаче алгебраического криптоанализа новыми ограничениями. Порождаемые ограничения могут иметь форму линейных уравнений над полем из двух элементов в случае, если задача криптоанализа сведена к квадратичной системе над GF(2). Если же рассматриваемая задача сведена к SAT, то порождаемые ограничения имеют вид эквивалентностей или единичных резольвент. Для обеих ситуаций мы показываем, что порождаемые ограничения могут снижать оценки трудоёмкости криптоанализа. We describe a new technique aimed to generate new constraints which augment with the original set of constraints for a problem of algebraic cryptanalysis. In case the original problem is reduced to a system of Multivariate Quadratic equations over GF(2), the generated constraints can be in the form of linear equations over two-element field. If the considered problem is reduced to SAT, then new constraints are in the form of logic equivalences, anti-equivalences or unit resolvents. In both cases we demonstrate that new constraints generated by the proposed technique can decrease the complexity estimation of attacks on considered functions.
|
| 653 |
|
|
|a алгебраический криптоанализ
|
| 653 |
|
|
|a проблема булевой выполнимости (SAT)
|
| 653 |
|
|
|a квадратичные системы уравнений над GF(2)
|
| 653 |
|
|
|a SAT-оракул
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Антонов, Кирилл Валентинович
|
| 700 |
1 |
|
|a Грибанова, Ирина Александровна
|
| 773 |
0 |
|
|t Прикладная дискретная математика. Приложение
|d 2021
|g № 14. С. 104-110
|x 2226-308X
|w to000620992
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000719736
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 719736
|d 719736
|
