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