Применение системы Sage для поиска алгебраической иммунности булевых функций и отображений

Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.

Подобные документы

  • Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.

    курсовая работа, добавлен 18.10.2017

  • Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.

    курсовая работа, добавлен 18.11.2015

  • Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.

    контрольная работа, добавлен 28.01.2020

  • Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.

    статья, добавлен 12.05.2018

  • Понятие векторной функции. Особенности нахождения предела непрерывности, производной и интеграла вектор-функции. Использование векторных функций в криволинейной системе координат. Характеристика приложения векторных функций в скалярном и векторном поле.

    курсовая работа, добавлен 12.01.2021

  • Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.

    курс лекций, добавлен 07.09.2014

  • Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.

    презентация, добавлен 22.03.2021

  • Исследование и логическое проектирование конечного частично определенного автомата - дискретного преобразователя информации. Построение графа, кодирование данных. Нахождение системы булевых функций для возбуждения триггеров. Составление логической схемы.

    курсовая работа, добавлен 09.11.2012

  • Рассмотрение различных подходов к конструированию распределения, задаваемого алгебраической байесовской сетью. Характеристика и особенности основных подходов к выбору распределения. Специфика алгоритма поиска распределения, случай циклической сети.

    статья, добавлен 15.01.2019

  • Понятие экстремума, анализ теоремы о пределах функции. Знакомство с правилом нахождения минимальных и максимальных точек. Применение локальной формулы Тейлора. Характеристика экстремумов функций многих переменных. Основные признаки экстремума функции.

    контрольная работа, добавлен 06.02.2012

  • Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.

    реферат, добавлен 15.11.2017

  • Рассмотрение теоретических основ алгебры. Теорема о разложении правильной рациональной дроби на сумму простейших дробей. Интегрирование целых рациональных функций. Различные способы нахождения и математического анализа неопределенного интеграла.

    лекция, добавлен 17.01.2014

  • Суть метода нахождения обратных функций. Основные пути построения таких обратных функций как логарифм, гиперболические и тригонометрические арксинус и арккосинус. Примеры построения обратных функций для гиперкомплексной числовой системы 4-го порядка.

    статья, добавлен 29.01.2019

  • Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.

    презентация, добавлен 06.09.2017

  • Члены тригонометрических рядов. Свойство системы тригонометрических функций. Ряд Тейлора. Особенности ряда Фурье четной и нечетной функции. Рабочие формулы для разложения функции в ряд Фурье. Применение программы MatLab для вычисления коэффициентов ряда.

    контрольная работа, добавлен 23.04.2011

  • Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.

    учебное пособие, добавлен 13.01.2015

  • Алгебра как часть вычислительного анализа и теории функций. Теория конечных групп подстановок. Представители Русской алгебраической школы. Научные исследований по математике Отто Шмидта, гипотеза о происхождении Земли. Труды по теории множеств Новикова.

    реферат, добавлен 14.11.2014

  • Число и сумма делителей данной цифры. Простые числа Мерсенна и их наибольшее известное значение. Определение совершенных и дружественных числовых выражений. Особенность формирования доказательства Евклида. Характеристика графиков и свойств функций.

    курсовая работа, добавлен 06.05.2015

  • Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.

    учебное пособие, добавлен 30.07.2013

  • Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.

    контрольная работа, добавлен 22.02.2010

  • Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.

    курс лекций, добавлен 08.02.2015

  • Сущность и значение ацикличности вторичной структуры алгебраической байесовской сети. Характеристика первичной и вторичной структуры алгебраической байесовской сети. Преобразование первичной структуры алгебраической байесовской сети к ацикличной.

    статья, добавлен 15.01.2019

  • Характеристики алгебраических функций: монотонность, непрерывность, четность, выпуклость, ограниченность, наибольшее и наименьшее значение. Алгоритм описания свойств функций. Рассмотрение, графическое представление и описание свойств некоторых функций.

    презентация, добавлен 17.12.2014

  • Классификация поточных шифров. Основные принципы построения криптосистем с открытым ключом. Разновидности симметричного шифра. Режимы работы блочного шифра. Применение одного из математических методов на примере шифра Цезаря и ассиметричного шифра.

    курсовая работа, добавлен 17.04.2011

  • Исследование метода приближенного вычисления предела максимального среднего для периодической функции, зависящей от времени и основных переменных, и дифференциального включения с постоянной правой частью. Техника опорных функций многозначных отображений.

    статья, добавлен 31.05.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.