Твардовский
Александр Сергеевич
Кандидат наук
Александр Сергеевич
Кандидат наук
Университет
Национальный исследовательский
Томский государственный университет
Томский государственный университет
Уровень владения английским языком
B2-С1
Направление подготовки, на которое будет приниматься аспирант
Теория и методы компьютерных наук
Код направления подготовки, на которое будет приниматься аспирант
10.06.01 Информационная безопасность
05.13.19 Методы и системы защиты информации. Информационная безопасность
05.13.19 Методы и системы защиты информации. Информационная безопасность
Перечень исследовательских проектов потенциального научного руководителя (участие/руководство)
Исполнитель по проекту РНФ 22-29-01189,
"Выделение классов спецификаций компонентов телекоммуникационных систем с пониженной сложностью решения задач идентификации состояний", 2022 - 2023.
"Выделение классов спецификаций компонентов телекоммуникационных систем с пониженной сложностью решения задач идентификации состояний", 2022 - 2023.
Перечень предлагаемых соискателям тем для исследовательской работы
1) Разработка методов анализа трафика web-приложений на основе расширенных автоматов
2) Разработка подходов к проверке безопасности функционирования компонентов интернета вещей на основе конечно-автоматных моделей
3) Разработка подходов к проверке свойств безопасности атрибутных систем контроля доступа
4) Разработка формальной модели анализа атак в распределённых реестрах на основе композиций конечных автоматов
2) Разработка подходов к проверке безопасности функционирования компонентов интернета вещей на основе конечно-автоматных моделей
3) Разработка подходов к проверке свойств безопасности атрибутных систем контроля доступа
4) Разработка формальной модели анализа атак в распределённых реестрах на основе композиций конечных автоматов
Публикации
Всего за 5 лет: Scopus - 5, Web of Science - 4, RSCI - 3
1) Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timeouts // The Computer Journal. 2022. P. 1‒10. DOI: 10.1093/comjnl/bxac069
2) Tvardovskii A., Khaled El-Fakih, Yevtushenko N. Testing and incremental conformance testing of timed state machines // Science of Computer Programming, Volume 233, 2024, 103053, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2023.103053
3) Tvardovskii A., Yevtushenko N. Adaptive Experiments for State Identification in Finite State Machines with Timeouts // Lecture Notes in Computer Science. 2022. Vol. 13419 LNCS. P. 172‒188. DOI: 10.1007/978-3-031-13502-6_12
4) Tvardovskii A.S., Evtushenko N.V. Deriving Homing Sequences for Finite State Machines with Timed Guards // Automatic Control and Computer Sciences. 2021. Vol. 55, № 7. P. 738‒750. DOI: 10.3103/S0146411621070154
5) Davide Bresolin, Aleksandr Tvardovskii, Nina Yevtushenko, Tiziano Villa, Maxim Gromov. Minimizing Deterministic Timed Finite State Machines //IFAC-PapersOnline. 2018. Vol. 51, № 7. P. 486-492. https://doi.org/10.1016/j.ifacol.2018.06.344 URL: https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/7
1) Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timeouts // The Computer Journal. 2022. P. 1‒10. DOI: 10.1093/comjnl/bxac069
2) Tvardovskii A., Khaled El-Fakih, Yevtushenko N. Testing and incremental conformance testing of timed state machines // Science of Computer Programming, Volume 233, 2024, 103053, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2023.103053
3) Tvardovskii A., Yevtushenko N. Adaptive Experiments for State Identification in Finite State Machines with Timeouts // Lecture Notes in Computer Science. 2022. Vol. 13419 LNCS. P. 172‒188. DOI: 10.1007/978-3-031-13502-6_12
4) Tvardovskii A.S., Evtushenko N.V. Deriving Homing Sequences for Finite State Machines with Timed Guards // Automatic Control and Computer Sciences. 2021. Vol. 55, № 7. P. 738‒750. DOI: 10.3103/S0146411621070154
5) Davide Bresolin, Aleksandr Tvardovskii, Nina Yevtushenko, Tiziano Villa, Maxim Gromov. Minimizing Deterministic Timed Finite State Machines //IFAC-PapersOnline. 2018. Vol. 51, № 7. P. 486-492. https://doi.org/10.1016/j.ifacol.2018.06.344 URL: https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/7
Более детальное описание научных интересов
1) Задачи анализа и синтеза на основе конечных автоматов
2) Сетевая безопасность, анализ трафика
3) Анализ и разработка систем контроля доступа
4) Распределённые реестры
2) Сетевая безопасность, анализ трафика
3) Анализ и разработка систем контроля доступа
4) Распределённые реестры
Требования потенциального научного руководителя
Базовые знания о компьютерных сетях, основных направлениях компьютерной безопасности и дискретной математики
