Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами (Record no. 469259)

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.