Применение системы Sage для поиска алгебраической иммунности булевых функций и отображений
Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Криптология |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Благовисная А.Н. |
| Дата добавления | 21.12.2019 |
| Размер файла | 47,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Программное обеспечение для реализации алгоритмов поиска базиса пространства аннигиляторов, статических соотношений для алгебраических атак и алгебраической иммунности для функции, заданной трейс представлением. Оценки порядка алгебраической иммунности.
курсовая работа [561,9 K], добавлен 30.05.2014Задача нахождения кратчайшего покрытия булевой матрицы. Алгоритмы поиска кратчайших покрытий методом Патрика и методом Закревского. Метод предварительного редуцирования булевой матрицы. Описание программы "Нахождение кратчайшего покрытия булевых матриц".
курсовая работа [884,1 K], добавлен 12.12.2010Применение математических методов для решения логических задач и построения логических схем. Определение и реализация булевых функций. Основные схемы функциональных элементов. Программируемые логические матрицы. Правила составления таблицы истинности.
курсовая работа [821,6 K], добавлен 19.03.2012Основные понятия алгебры высказываний. Характеристика главных законов алгебраической логики, сущность логических операций и определение порядка их проведения. Практическое применение в информатике табличного и алгебраического задания булевских функций.
курсовая работа [662,0 K], добавлен 23.04.2013Определение унитарных и бинарных функций. Представление булевых функций: дизъюнктивная и конъюнктивная нормальная форма. Общая характеристика правил и стратегии игры в шашки. Особенности математической модели цифрового устройства для игры в шашки.
курсовая работа [544,0 K], добавлен 28.06.2011Разработка исследовательского комплекса, решающего задачу формирования минимального полинома Жегалкина по вектору значений булевой функции методом частных полиномиальных нормальных форм. Сравнение сред программирования. Макет программного продукта.
дипломная работа [1,3 M], добавлен 29.05.2015Алгоритм декомпозиции графов и расчеты динамики логических сетей. Преобразование пространства булевых векторов. Описание блоков программной реализации и их взаимодействие. Разработка программы "слияния" статистик на основе алгоритма объединения.
дипломная работа [111,8 K], добавлен 07.03.2012Основные понятия структурных автоматов. Этапы канонического метода синтеза. Кодирование алфавитов автомата и выбор элементов его памяти. Построение уравнений булевых функций возбуждения и выходов. Методы устранения гонок в структурных автоматах.
курсовая работа [496,3 K], добавлен 27.01.2011Синтез автомата для преобразования двоично-десятичного кода. Кодировка алфавитов и состояний. Построение булевых функций, минимизация. Разметка вход-выходных слов для автомата Мили и автомата Мура. Реализация на элементах малой степени интеграции.
контрольная работа [141,5 K], добавлен 14.10.2012Проектирование преобразователя кода (ПК), рассчет его энергопотребления и быстродействия. Составление таблицы истинности ПК. Написание булевых функций, минимизация и преобразование к выбранному базису. Составление структурной схемы преобразователя кода.
курсовая работа [775,3 K], добавлен 09.02.2009