Информация о статье

2008 г., Том 13, № 6, с.134-150

Семенов А.А., Заикин О.С., Беспалов Д.В., Ушаков А.А.

SAT-подход в криптоанализе некоторых систем поточного шифрования

Рассматривается подход к криптоанализу некоторых систем поточного шифрования, базирующийся на эвристических алгоритмах решения SAT-задач. Описана технология сведения задач криптоанализа к SAT-задачам. Приведены примеры успешного криптоанализа ряда генераторов ключевого потока (генераторы Геффе, Вольфрама и Гиффорда).

[полный текст]
Ключевые слова: SAT-задача, логический криптоанализ, генератор двоичной последовательноти

Библиографическая ссылка:
Семенов А.А., Заикин О.С., Беспалов Д.В., Ушаков А.А. SAT-подход в криптоанализе некоторых систем поточного шифрования // Вычислительные технологии. 2008. Т. 13. № 6. С. 134-150
Главная| Цели| Редколлегия| Содержание| Поиск| Подписка| Правила| Контакты
ISSN 1560-7534
© 2024 ФИЦ ИВТ, Новосибирск