РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016661634

Дата регистрации: 17.10.2016

Номер и дата поступления заявки: 2016618971 22.08.2016

Дата публикации: 20.11.2016
	
Авторы:
Ищукова Евгения Александровна,
Маро Екатерина Алескандровна,
Бабенко Людмила Климентьевна

Правообладатель:
федеральное государственное автономное образовательное учреждение высшего образования «Южный федеральный университет» (Южный федеральный университет)

Название программы для ЭВМ:
Программа поиска решений систем булевых нелинейных уравнений, сформированных для алгоритма Магма, в среде SageMath с использованием CryptoMiniSat

Реферат:
Программа предназначена для поиска решений систем булевых нелинейных уравнений, сформированных для алгоритма Магма, с целью выявления уровня защищенности современных средств защиты информации. Функциональные возможности ориентированы на применение эффективного SATрешателя CryptoMiniSat и интеграцию в среду математического проектирования SageMath. Программа может применяться для оценки стойкости других алгоритмов.

Тип реализующей ЭВМ: IBM PC - совмест. ПК на базе процессора Intel Соге i5

Язык программирования: Python

Вид и версия операционной системы: CentOS

Объем программы для ЭВМ: 59 Кб