Protocol verification tools | Applied Discrete Mathematics. Supplement. 2009. № 1.

HomeIssuesProtocol verification tools | Applied Discrete Mathematics. Supplement. 2009. № 1.

Protocol verification tools

Download file
Counter downloads: 330

Keywords

Authors

NameOrganizationE-mail
Cheremushkin A. V.Institute of Cryptography, Telecommunications and Informatics, Moscowavc238@mail.ru
Всего: 1

References

Protocol verification tools | Applied Discrete Mathematics. Supplement. 2009. № 1.

Protocol verification tools | Applied Discrete Mathematics. Supplement. 2009. № 1.