Elaborarea instrumentelor utilizate la modelarea protocoalelor criptografice pe baza Petri net

Abstract

Lucrarea este dedicată elaborarii instrumentelor utilizate la modelarea protocoalelor criptografice pe baza rețelelor Petri. A fost realizata analiza rețelelor Petri ca instrument de modelare și sa evaluat adecvarea utilizării lor pentru modelarea protocoalelor criptografice. S-a constatat că rețeaua Petri ca model permite reflectarea adecvată a logicii protocolului, luând în considerare parametrii legați de timp, identificând blocaje, demonstrând clar vulnerabilitățile și reconstruind rapid toate opțiunile posibile de executare a protocolului.

The work is devoted to the development of cryptographic protocol modeling tools based on Petri nets. The analysis of Petri nets as a modeling tool is carried out and the appropriateness of their use for modeling cryptographic protocols is evaluated. It was found that the Petri net as a model allows adequately reflecting the protocol logic, taking into account time-related parameters, identifying deadlocks, clearly demonstrating vulnerabilities, and quickly reconstructing all possible protocol execution options.

Работа посвящена разработке средств моделирования криптографических протоколов на основе сетей Петри. Проведен анализ сетей Петри как инструмента моделирования и оценена целесообразность их использования для моделирования криптографических протоколов. Установлено, что сеть Петри как модель позволяет адекватно отражать логику протокола, учитывать параметры, связанные со временем, выявлять тупиковые ситуации, наглядно демонстрировать уязвимости, а также оперативно воссоздавать все возможные варианты исполнения протокола.