petri net

МОДЕЛІ ТА ЗАСОБИ АВТОМАТИЗОВАНОЇ СИСТЕМИ ДОСЛІДЖЕННЯ ТРАФІКУ КОМП'ЮТЕРНИХ МЕРЕЖ З ВИКОРИСТАННЯМ ФІЛЬТРА ПАКЕТІВ БЕРКЛІ

В роботі запропоновано використати інструмент Linux – фільтр пакетів Берклі (англ. Berkeley Packet Filter) для автоматизації дослідження трафіку в комп'ютерних мережах. Розроблено структуру програмного засобу, яка базується на модульному принципі, що дає змогу швидко вдосконалювати та модернізувати систему.

A Representative Fragment Method of Analyzing Complex Systems of Smart Contracts

The paper presents the use of states of explosionproof method for analyzing the behavior of systems that provide smart contract technology. The selected example system is ShadowEth, whose main task is to ensure sufficient confidentiality of information stored in the Ethereum blockchain currency. The Petri network model for the ShadowEth system has been presented. The system properties according to the specifications have been defined. Properties described in a certain extension of the TCTL logic and verification have been carried out.