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

Могилевская Н.С. Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BANлогики. Вестник Донского государственного технического университета . 2012;12(1-2):5-15.

For citation:

Mogilevskaya N.S. SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC. Vestnik of Don State Technical University . 2012;12(1-2):5-15. (In Russ.)