Использование решателей задачи выполнимости КНФ в криптоанализе криптосистемы Мак-Элиса, построенной на квазициклических кодах с ограниченной плотностью проверок на чётностьдипломная работа (Бакалавр)