RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Резник Сергей Александрович
Публикации в базе данных Math-Net.Ru
Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств
Тр. СПИИРАН
,
8
(2009),
292–310
©
МИАН
, 2024
