You are here

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

Printer-friendly versionSend by email

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

Contact information
Phone number: 
+7 (495) 930-43-86

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

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

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

Subscribe to Syndicate

Все материалы сайта доступны по лицензии Creative Commons Attribution 4.0 International