Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе	1 MB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/2226308X/13/40

Title: Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе
Creator: Софронова, Дарья Алексеевна
|
Калгин, Константин Викторович
Date: 2020
DOI: 10.17223/2226308X/13/40
Description: Представлен транслятор, позволяющий преобразовывать описание криптографической задачи (криптоанализ шифра или хэш-функции, поиск APN-функций) в КНФ. В дальнейшем SAT-решатель устанавливает истинность формулы и находит набор, выполняющий КНФ. Отличительные особенности данной разработки — универсальность, малый объём исходного кода (300 строк C++), легко модифицируемая и расширяемая реализация.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Прикладная дискретная математика. Приложение. 2020. № 13. С. 135-136
Language: rus

Created: 08-09-2020

690 Visitors

509 Hits

195 Downloads

Журналы ТГУ Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе