For citations:

Erokhin S..., Petukhov A..., Pilyugin P... Event-based Security Policy and Formal Model of Critical Information Infrastructures Protecting Mechanism. Proceedings of Telecommunication Universities. 2019;5(4):99-105. (In Russ.) https://doi.org/10.31854/1813-324X-2019-5-4-99-105