Формальные методы спецификации и их применения в разработке программ
Full Name of the work head: Садыков Е.Б.
Исполнители проекта: Тусупов Д.А.*
: Евразийский национальный университет им. Л.Н.Гумилева
Inventory number: 0213РК01011
Registration number: 0112РК02246
Keywords: Информационные системы*Информационная безопасность*Сетевая модель*
Изучены возможности применения различных логических формализмов (логик) к задачам спецификации, анализа и синтеза информационных систем (ИС), алгоритмические свойства комбинаций отдельных логических формализмов с алгебраическим аппаратом FCA. Исследованы методологические аспекты применения логико-программных языков к спецификации и анализу ИС. Построена сетевая модель для проектирования информационных систем, описывающая этапы построения информационных систем. Проведен анализ и классификация основных угроз и уязвимостей информационной безопасности (ИБ). Предложена одна модификация метода нечетной синтетической оценки, реализующаяся нейтронной сетью. Разработана схема разделения секрета с ключом многоразового использования и защитой от участников-злоумышленников.*
