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

Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.

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

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

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

  • Создание базы данных переменных ввода-вывода. Перевод в двоичную систему и проверка средствами IsaGraf. Создание схемы управления автоматом на языке FBD с помощью булевых элементов. Создание и привязка переменных ввода-вывода к платам ввода-вывода.

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

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

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

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

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

  • Понятие, сущность, значение компьютерной математики, объем встроенных функций. Вычислительные возможности системы компьютерной математики. Особенности восприятия и усвоения математических понятий. Архитектура обобщенной системы компьютерной математики.

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

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

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

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

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

  • Главный анализ типов изображений и работы с файлами. Функции поиска объектов и вычисления их признаков. Характеристика амплитудных и геометрических преобразований показов. Морфологические операции над бинарными картинами. Суть сегментации отображений.

    методичка, добавлен 17.06.2015

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

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

  • Методика синтеза примитивов нелинейной подстановки, основу построения которых составляет S-блок алгоритма Rijndael. Анализ, оцениваемый энтропией шифрограмм, трех классов примитивов. Анализ и характеристика возможности оптимизации параметров S-блоков.

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

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

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

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

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

  • Понятие поверхности Кунса в системе геометрического моделирования и программирования. Алгоритм Сазерленда-Коэна отсечения прямоугольной областью, его применение в компьютерной графике. Блок-схема функции Intersec. Использование методов Гуро и Фонга.

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

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

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

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

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

  • Заголовочные модули, написанные на языке Object Pascal, обеспечивающие простое подключение функций и процедур Fortran-библиотек численного решения задач линейной алгебры. Появление скрытых, трудно обнаруживаемых алгоритмических ошибок в среде Delphi.

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

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

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

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

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

  • Наиболее известные криптосистемы: симметричные и несимметричные. Использование составного шифра в виде некоторой последовательности простых шифров. Оценка криптостойкости системы на основе анализа используемых функций. DES-стандарт США на шифрование.

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

  • Определение цели и назначения редактора Visio как векторного графического редактора диаграмм и блок-схем для Windows. Изучение функций и возможностей программы Visio. Общее описание блок-схемы замкнутой автоматизированной системы регулирования редактора.

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

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

    дипломная работа, добавлен 29.09.2017

  • Сущность объектно-ориентированного программирования, его основные термины, положения и наследование. Инкапсуляция данных. Полиморфизм, виртуальные функции. Классы функций Matrix и Vector на языке С++ для решения простейших задач линейной алгебры.

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

  • Способы и этапы передачи данных и настройка пригодных для устройства адресов. Создание потоковых отображений Direct Memory Access (DMA). Регистрация использования DMA. Классификация сигнала прерывания в зависимости от источника его возникновения.

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

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

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

  • Особенность улучшения характеристик системы MIMO, использующей линейное прекодирование. Анализ применения двухкритериальных прекодеров, построенных на совместном использовании критериев максимизации пропускной способности и помехоустойчивости системы.

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

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