RUS
ENG
Full version
PEOPLE
Reznik Sergey Aleksandrovich
Publications in Math-Net.Ru
Security protocols verification combining existing approaches and tools
Tr. SPIIRAN
,
8
(2009),
292–310
©
Steklov Math. Inst. of RAS
, 2024