Preview

Advanced Engineering Research

Расширенный поиск
Полноэкранный режим

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


Могилевская Н.С. Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе 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.)

Просмотров: 134


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2687-1653 (Online)