| 4 |
1 января 2014 г.-31 декабря 2014 г. |
Математическое и программное обеспечение защищенных информационных технологий |
| Результаты этапа: 4.1. На направлении создания математического и программного обеспечения процессов автоматизированного распараллеливания программ на распределенных вычислительных средах:
построена формальная модель динамического параллельного исполнения фрагмента вычислительного программного комплекса математического моделирования теплогидравлических процессов в реакторах АЭС, сделан вывод о необходимости дополнения этой модели с целью более адекватного описания всего вычислительного комплекса (В.А.Васенин, М.А.Кривчиков);
с использованием общей модели динамического параллельного исполнения программ показано соответствие результатов вычислений, полученных с использованием параллельной и последовательной версии фрагмента программного комплекса, моделирующего процессы теплогидравлики в реакторах АЭС (В.А.Васенин, М.А.Кривчиков).
4.2. На направлении исследования математических моделей эффективного поиска в больших и сверхбольших (Интернет) хранилищах слабо структурированных данных, их анализа, хранения и предоставления по запросу:
разработан модуль управления страницами общеуниверситетского сайта диссертационных советов МГУ, созданного в рамках информационно-аналитической системы (ИАС) «Наука МГУ» («ИСТИНА») (В.А.Васенин, Д.Д.Голомазов);
разработаны модели, алгоритмы и программные средства, позволяющие ответственным представителям подразделений университета самостоятельно исправлять верифицированные данные в (ИАС) «Наука МГУ» («ИСТИНА») (С.А.Афонин);
разработаны методы выявления объектов в базе данных (ИАС) «Наука МГУ» («ИСТИНА»), которые могут содержать ошибочную информацию (С.А.Афонин, Г.М.Ганкин);
разработан алгоритм эвристической дискретной оптимизации для определения авторов публикации по заданному набору фамилий, который использует информацию о предыдущих совместных работах авторов с указанными фамилиями (С.А.Афонин, А.Э.Гаспарянц);
разработаны методы классификации взаимосвязанных объектов при наличии частичной экспертной оценки, которые позволяют оценить тематическую принадлежность объекта на основании экспертных оценок для связанных объектов (А.С.Козицын, К.В.Лунев).
4.3. На направлении исследований по верификации исходного кода программного обеспечения с целью обнаружения в нем уязвимостей информационной безопасности:
разработаны математические модели, методы и алгоритмы автоматического анализа защищенности распределенных информационно-вычислительных систем;
разработан прототип программного комплекса автоматического сбора информации о структуре web-приложения и платформе для его развертывания;
разработан прототип программного комплекса автоматизированного обнаружения уязвимостей в web-приложениях.
4.4. На направлении исследований методов и средств анализа сложно организованных систем на предмет оценки уровня их защищенности от деструктивных воздействий:
– разработаны (В.А.Васенин, М.А.Кривчиков, А.А.Зензинов, К.А.Шапченко, Ф.М.Пучков) сценарии для автоматизации экспериментальных исследований возможности реализации угроз, связанных с несанкционированным доступом к данным в типовых распределенных грид-системах, в том числе
• сценарии реализации несанкционированного доступа к данным, передаваемым по сети;
• сценарии подмены части сетевой инфраструктуры с использованием атак вида «подмена ARP-кэша» и «отравление DNS-кэша»;
• сценарии распространения вредоносного программного обеспечения в рамках распределенной системы и за ее пределы.
разработаны (М.А.Кривчиков, А.А.Зензинов, К.А.Шапченко, Ф.М.Пучков) сценарии для автоматизации экспериментальных исследований возможности реализации угроз, связанных с несанкционированным доступом к данным в типовых распределённых грид-системах, которые в целом покрывают угрозы, рассматриваемые в документе «Требования о защите информации в информационных системах, построенных с использованием грид-технологий»
|
| 5 |
1 января 2015 г.-31 декабря 2015 г. |
Математическое и программное обеспечение защищенных информационных технологий |
| Результаты этапа: 4.1. На направлении создания математического и программного обеспечения процессов автоматизированного распараллеливания программ на распределенных вычислительных средах получены следующие результаты (В.А.Васенин, М.А.Кривчиков, С.В.Антонов):
- разработана формальная модель чисел с плавающей точкой, с использованием которой могут быть доказаны ограничения на возможное влияние недетерминированного порядка вычислений на результат при параллельном расчёт;
- получено формальное описание исследуемого фрагмента вычислительного программного комплекса с использованием языков, построенных на модели чисел с плавающей точкой.
4.2. На направлении исследования математических моделей эффективного поиска в больших и сверхбольших (Интернет) хранилищах слабо структурированных данных, их анализа, хранения и предоставления по запросу (В.А.Васенин, С.А.Афонин, А.С.Козицын, Д.Д.Голомазов, А.А.Коршунов, А.Э.Гаспарянц, К.В.Лунев):
- разработан модуль формирования сводного отчета подразделения, который позволяет получить предназначенный для печати документ, включающий широкий спектр статистических показателей научной активности сотрудников подразделения;
- разработан метод тематической классификации взаимосвязанных информационных объектов по неполной оценке отдельных элементов, экспертная оценка распространяется на другие информационные объекты по сети взаимосвязей; в частности, тематическая принадлежность журнала определяется по тематике авторов публикаций, вышедших в данном журнале, которые определяются без учета публикаций в данном издании.
- разработан метод автоматизированного построения обучающей выборки для алгоритма выделения структуры библиографических ссылок; для разметки исходной текстовой строки, содержащей описание библиографической ссылки, производится нечеткое сопоставление фрагментов этой строки с доступными структурированными данными о данной записи; размеченные строки разделяются на кластеры и обучающая выборка является сбалансированной по числу представителей из каждого кластера;
- разработан метод выявления междисциплинарных научных взаимодействий между научными организациями, при принятии решения о наличии взаимодействия учитывается тематическая направленность отдельных публикаций, преобладающие тематики подразделений, наличие совместителей, общее число сотрудников организаций и интенсивность публикаций в предметных областях.
4.3. На направлении исследований по верификации исходного кода программного обеспечения с целью обнаружения в нем уязвимостей информационной безопасности (В.А.Васенин, М.А.Кривчиков):
разработана схема подключения внешних решателей (включая SMT – решатели), позволяющих получать формальный вывод в качестве решения, к программному средству, предназначенному для построения формальных моделей программ, написанных на различных языках программирования, и для формальной верификации таких программ.
4.4. На направлении исследований методов и средств анализа сложно организованных систем на предмет оценки уровня их защищенности от деструктивных воздействий (В.А.Васенин, В.Ю.Бухонов):
проведены эксперименты по исследованию возможности реализации угроз, связанных с несанкционированным доступом к данным в типовых распределенных грид-системах, которые проводились с применением предварительно разработанных сценариев.
|
