Изучены возможности применения различных логических формализмов (логик) к задачам спецификации, анализа и синтеза информационных систем (ИС), алгоритмические свойства комбинаций отдельных логических формализмов с алгебраическим аппаратом FCA. Исследованы методологические аспекты применения логико-программных языков к спецификации и анализу ИС. Построена сетевая модель для проектирования информационных систем, описывающая этапы построения информационных систем. Проведен анализ и классификация основных угроз и уязвимостей информационной безопасности (ИБ). Предложена одна модификация метода нечетной синтетической оценки, реализующаяся нейтронной сетью. Разработана схема разделения секрета с ключом многоразового использования и защитой от участников-злоумышленников.*