|
Prikladnaya Diskretnaya Matematika, 2009, supplement № 1, Pages 34–36
(Mi pdm114)
|
|
|
|
This article is cited in 1 scientific paper (total 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.
Citation:
A. V. Cheremushkin, “Protocol verification tools”, Prikl. Diskr. Mat., 2009, supplement № 1, 34–36
Linking options:
https://www.mathnet.ru/eng/pdm114 https://www.mathnet.ru/eng/pdm/y2009/i10/p34
|
Statistics & downloads: |
Abstract page: | 365 | Full-text PDF : | 171 |
|