Polubelova Olga Vitalievna

Publications in Math-Net.Ru

1. Architecture and software implementation of the system of verification of filtering rules
   
   Tr. SPIIRAN, 26 (2013),  79–90
2. Design of the ontology based data model for the network attack modeling system
   
   Tr. SPIIRAN, 26 (2013),  26–39
3. Perspective data storage systems for security information monitoring and management
   
   Tr. SPIIRAN, 25 (2013),  113–134
4. Verification of security policy filtering rules with temporal parameters by Model Checking
   
   Tr. SPIIRAN, 22 (2012),  113–138
5. Application of security information and event management technology for information security in critical infrastructures
   
   Tr. SPIIRAN, 20 (2012),  27–56