For citations:
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.)
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.)