RUS
ENG
Full version
JOURNALS
// Intelligent systems. Theory and applications
// Archive
Intelligent systems. Theory and applications,
2016
Volume 20,
Issue 3,
Pages
214–219
(Mi ista118)
Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
A. M. Mironov
Institute of Informatics Problems of the Russian Academy of Sciences
Fulltext:
PDF file (163 kB)
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (163 kB)