Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BAN-логики

Authors: Могилевская, Надежда

Subject Terms: ФОРМАЛЬНЫЙ АНАЛИЗ ПРОТОКОЛОВ, КРИПТОГРАФИЧЕСКИЕ ПРОТОКОЛЫ, ПРОТОКОЛЫ РАСПРЕДЕЛЕНИЯ КЛЮЧЕЙ, СРЕДСТВА АВТОМАТИЗИРОВАННОГО АНАЛИЗА ПРОТОКОЛОВ, ПРОТОКОЛ КЕРБЕРОС

File Description: text/html

Availability: http://cyberleninka.ru/article/n/programmnoe-sredstvo-logicheskoy-proverki-korrektnosti-kriptograficheskih-protokolov-raspredeleniya-klyuchey-na-osnove-ban-logiki
http://cyberleninka.ru/article_covers/14849901.png

Программное средство логической проверки корректности криптографических протоколов распределения ключей на основе BAN-логики

Source: Вестник Донского государственного технического университета.

Subject Terms: ФОРМАЛЬНЫЙ АНАЛИЗ ПРОТОКОЛОВ, КРИПТОГРАФИЧЕСКИЕ ПРОТОКОЛЫ, ПРОТОКОЛЫ РАСПРЕДЕЛЕНИЯ КЛЮЧЕЙ, СРЕДСТВА АВТОМАТИЗИРОВАННОГО АНАЛИЗА ПРОТОКОЛОВ, ПРОТОКОЛ КЕРБЕРОС

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14849901.png
http://cyberleninka.ru/article/n/programmnoe-sredstvo-logicheskoy-proverki-korrektnosti-kriptograficheskih-protokolov-raspredeleniya-klyuchey-na-osnove-ban-logiki