Применение системы Sage для поиска алгебраической иммунности булевых функций и отображений
Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.
Подобные документы
Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Создание в среде Labview виртуального прибора, использующего три тумблера и три разноцветных светодиода, состояние которых удовлетворяет условию задачи. Алгоритм их включения. Иллюстрированный порядок моделирования с использованием булевых функций.
контрольная работа, добавлен 04.01.2019Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
контрольная работа, добавлен 25.03.2017Модификация непрерывного метода поиска глобального минимума вещественного функционала, ассоциированного с задачей выполнимости булевых формул. Проектирование вещественных переменных в булевы. Метод простой итерации. Тестирование байесовского подхода.
статья, добавлен 02.02.2019Основные положения алгебры логики. Минимизация определённых булевых функций. Построение преобразователя двоичного кода в двоично-десятичный. Метод решения логических уравнений, основанный на применении алгоритма "Волга". Законы импликативных выражений.
курс лекций, добавлен 08.02.2018Вентили, транзисторный инвертор. Использование особой алгебры, в которой все переменные и функции могут принимать только два значения. Таблица истинности для функции большинства. Реализация основных булевых функций. Выполнение дистрибутивного закона.
презентация, добавлен 06.10.2017Общие сведения об электронных учебниках, классификация средств для их создания, алгоритмические языки. Разработка проекта по созданию электронного учебника по дискретной математике. Разбор основных положений алгебры множеств и теории булевых функций.
дипломная работа, добавлен 05.10.2013Исследование использования систем булевых нелинейных уравнений в процессах защиты информации. Алгебраические методы раскрытия шифров. Этапы анализа криптографических конструкций. Схемы фильтрующего и комбинирующего генератора. Идея методов линеаризации.
статья, добавлен 17.12.2019Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013Особенность создания программной библиотеки конечных полей для дальнейшего использования в качестве алгебраической структуры для ассиметричных схем шифрования на языке Java. Основная характеристика представленной UML схемы программного комплекса.
статья, добавлен 26.06.2018- 11. Использование библиотеки классов пакета "Sage" для анализа программ, написанных на языке Фортран
Использование библиотеки классов Си++ пакета SAGE для анализа больших последовательных программ, написанных на языке ФОРТРАН 77, для превращения их в параллельные программы. Структура данных, используемых пакетом для внутреннего представления программы.
статья, добавлен 28.10.2018 Рассмотрение исходных таблиц поведения автомата. Характеристика графа автомата. Особенности кодирования данных. Построение системы булевых функций для JK-триггеров. Основные принципы построения функции выхода. Реализация логической схемы автомата в EWB.
реферат, добавлен 26.05.2015Структура и базовые преобразования блочного шифра "Калина". Разработка уменьшенной модели шифра посредством масштабирования основных криптопреобразований с сохранением их алгебраической структуры. Прогнозирование уровня криптографической стойкости.
статья, добавлен 01.03.2017Виды автоматизированных систем обработки данных. Смысл двоичного и двоично-десятичного представления чисел, упакованного кода и модели в математике. Место в машинной информатике алгебры Буля, способы представления булевых величин и схема процессора.
реферат, добавлен 30.10.2010Цифровой логический уровень: вентили и булева алгебра. Транзисторный инвертор и виды основных вентилей. Таблица истинности для функции большинства. Реализация булевых функций. Интегральные, комбинационные и арифметические схемы, тактовые генераторы.
презентация, добавлен 31.10.2017Современные методы криптоанализа. Уравнение неаффинной подстановки. Основные особенности шифров. Подстановка как одна из операций шифрования. Нелинейность, диффузия и дифференциалы подстановки. Среднее арифметическое нелинейностей булевых функций.
презентация, добавлен 15.09.2012Шаги алгоритма классификации Кланш и Клара, их предназначение для решения задачи многокритериальной порядковой классификации. Построение баз экспертных знаний для интеллектуальных обучающих систем. Оптимальная расшифровка монотонных булевых функций.
статья, добавлен 18.01.2018Анализ средств и систем защиты информации. Характеристика способов представления булевых функций, приведение критериев эффективности и пути повышения производительности средств и систем защиты информации. Описание форм представления логических функций.
статья, добавлен 29.04.2017Анализ двухцикловых дифференциалов Rijndael-подобного шифра. Применение подхода к оценке вероятностей дифференциалов для шифров с неалгебраически построенными подстановками. Анализ супер-S-блока "силовым" способом. Перебор возможных значений входной пары.
статья, добавлен 01.03.2017Оценка динамических показателей процесса прихода шифра Хейза и уменьшенной модели шифра Rijndael по дифференциальным показателям к стационарным состояниям. Метод формирования оптимальных Q-S-блоков с использованием квазигрупп. Поиск полубайтовых S-блоков.
статья, добавлен 01.03.2017История конкурса на новый стандарт криптозащиты. Преимущества алгоритма Rijndael. Математические основы шифрования. Структура итерационного блочного шифра. Схемы криптопреобразования. Замена байта в преобразовании SubBytes. Циклический сдвиг строк.
курсовая работа, добавлен 25.11.2014Автоматизированные системы обработки данных. Исходные, промежуточные и выходные данные. Элементарные данные, элементы данных. Двоичное и двоично-десятичное представления чисел. Способы представления булевых величин в виде тех или иных физических сигналов.
реферат, добавлен 08.06.2010- 23. Криптография нового поколения: интегральные уравнения как альтернатива алгебраической методологии
Преимущества использования в криптографии положений математического анализа, обусловленные свойством функций непрерывного аргумента. Сущность эффективности шифрования, базирующаяся на зависимости функций от неограниченного числа информативных признаков.
статья, добавлен 01.03.2017 Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Сравнительная характеристика систем компьютерной математики. Определение наиболее эффективной системы для построения графиков. Типы графиков в системах компьютерной математики. Исследование особенностей построения графиков функций в системе MathCAD.
курсовая работа, добавлен 20.11.2016