RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Резник Сергей Александрович
E-mail:
email
Основные темы научной работы:
Верификация протоколов безопасности.
Публикации в базе данных Math-Net.Ru
Персональные страницы:
Организации:
Санкт-Петербургский институт информатики и автоматизации РАН
©
МИАН
, 2024