Normal view
MARC view
Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами (Record no. 469259)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 01915nab a2200301 c 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000723850 |
005 - Дата корректировки | |
Контрольное поле | 20230319220922.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr | |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 200908|2020 ru s c rus d |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.17223/2226308X/13/38 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000723850 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
100 1# - Автор | |
Автор | Доронин, Артемий Евгеньевич |
9 (RLIN) | 503813 |
245 10 - Заглавие | |
Заглавие | Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами |
Ответственность | А. Е. Доронин, К. В. Калгин |
504 ## - Библиография | |
Библиография | Библиогр.: 4 назв. |
520 3# - Аннотация | |
Аннотация | Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющие условия взаимной однозначности и дифференциальной равномерности векторной булевой функции. |
653 ## - Ключевые слова | |
Ключевые слова | SAT-решатели |
653 ## - Ключевые слова | |
Ключевые слова | криптография |
653 ## - Ключевые слова | |
Ключевые слова | булевы функции |
655 #4 - Термин индексирования — жанр/форма | |
Жанр/форма | статьи в журналах |
9 (RLIN) | 879358 |
700 1# - Другие авторы | |
Другие авторы | Калгин, Константин Викторович |
9 (RLIN) | 368800 |
773 0# - Источник информации | |
Название источника | Прикладная дискретная математика. Приложение |
Место и дата издания | 2020 |
Прочая информация | № 13. С. 129-132 |
ISSN | 2226-308X |
Контрольный № источника | to000620992 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
856 4# - Электронный адрес документа | |
URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000723850">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000723850</a> |
908 ## - Параметр входа данных | |
Параметр входа данных | статья |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 469259 |
No items available.