Для цитирования:

Могилевская Н.С., Колчанов С.С. Верификация криптографических протоколов распределения ключей с использованием раскрашенных сетей Петри. Вестник Донского государственного технического университета . 2011;11(9):1535-1543.

For citation:

Mogilevskaya N.S., Kolchanov S.S. VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS. Vestnik of Don State Technical University . 2011;11(9):1535-1543. (In Russ.)