VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

Autor:	Nadezhda S. Mogilevskaya, Sergey S. Kolchanov
Jazyk:	ruština
Rok vydání:	2018
Předmět:	protocol verification formal analysis key management needham—schroeder protocol colored petri nets cpn tools. Mechanics of engineering. Applied mechanics TA349-359
Zdroj:	Вестник Донского государственного технического университета, Vol 11, Iss 9, Pp 1535-1543 (2018)
Druh dokumentu:	article
ISSN:	1992-5980 1992-6006
Popis:	The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/c1979a5bec6c4209bb756a4925e2f703 Zobrazit plný text záznamu View record in DOAJ