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


Заведующий лабораторией — доцент кафедры ИБ Гилязов Руслан Раджабович
Лаборатория основана в ноябре 2001 года. В её составе — 3 штатных сотрудника. Лабораторией разработаны новые алгоритмы статического анализа программ, включая:
- алгоритм проверки выполнимости формул темпоральной логики PLTL на моделях последовательных императивных программ с рекурсивными вызовами процедур,
- алгоритмы вычисления потоков данных и выявления функциональной зависимости между переменными и операторами программы,
- алгоритмы построения графов зависимости компонентов программ по управлению и данным,
- алгоритм расслоения программ,
- алгоритм вычисления диапазонов значений переменных-указателей.
На основе разработанных алгоритмов реализован комплекс инструментальных средств статического анализа программ.