|
Информация о статье
2008 г., Том 13, № 6, с.134-150
Семенов А.А., Заикин О.С., Беспалов Д.В., Ушаков А.А.
SAT-подход в криптоанализе некоторых систем поточного шифрования
Рассматривается подход к криптоанализу некоторых систем поточного шифрования, базирующийся на эвристических алгоритмах решения SAT-задач. Описана технология сведения задач криптоанализа к SAT-задачам. Приведены примеры успешного криптоанализа ряда генераторов ключевого потока (генераторы Геффе, Вольфрама и Гиффорда).
[полный текст]
Ключевые слова: SAT-задача, логический криптоанализ, генератор двоичной последовательноти
Библиографическая ссылка:
Семенов А.А., Заикин О.С., Беспалов Д.В., Ушаков А.А. SAT-подход в криптоанализе некоторых систем поточного шифрования // Вычислительные технологии. 2008. Т. 13. № 6. С. 134-150
|
|
|
|
