RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika // Archive
Prikl. Diskr. Mat., 2009 supplement № 1, Pages 34–36 (Mi pdm114)
This article is cited in 1 paper

Mathematical Methods of Cryptography, Steganography and Coding

Protocol verification tools

A. V. Cheremushkin


Abstract: The report contains an overview of modern protocol verification tools.

UDC: 65.012.810(075.8)


© Steklov Math. Inst. of RAS, 2026