Вы здесь

Лаборатория математических проблем компьютерной безопасности (МПКБ)

Версия для печатиSend by email

Заведующий лабораторией — доцент кафедры ИБ Гилязов Руслан Раджабович

Контактная информация
Телефон: 
+7 (495) 930-43-86

Лаборатория основана в ноябре 2001 года. В её составе — 3 штатных сотрудника. Лабораторией разработаны новые алгоритмы статического анализа программ, включая:

  • алгоритм проверки выполнимости формул темпоральной логики PLTL на моделях последовательных императивных программ с рекурсивными вызовами процедур,
  • алгоритмы вычисления потоков данных и выявления функциональной зависимости между переменными и операторами программы,
  • алгоритмы построения графов зависимости компонентов программ по управлению и данным,
  • алгоритм расслоения программ,
  • алгоритм вычисления диапазонов значений переменных-указателей.

На основе разработанных алгоритмов реализован комплекс инструментальных средств статического анализа программ.


Предложения по содержанию и функционированию сайта направляйте по адресу cmcproject@cs.msu.ru.