Публикации в базе данных Math-Net.Ru
-
Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета
Труды ИСП РАН, 30:6 (2018), 89–104
-
Обзор расширяемого протокола аутентификации и его методов
Труды ИСП РАН, 30:2 (2018), 113–148
-
Asynchronous distributed algorithms for static and dynamic directed rooted graphs
Труды ИСП РАН, 30:1 (2018), 69–88
-
Тестирование реализаций клиента протокола TLS
Труды ИСП РАН, 27:2 (2015), 145–160
-
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 180–188
© , 2024