Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Polubelova, Olga Vitalievna
Birth date: 30.06.1980
E-mail:
Keywords: security policies based on policy, model checking, ontology, vulnerabilities modelling, logic inference system.

Subject:

Verification of security policies by "Model Checking". Ontological approach for the vulnerabilities modelling in computer systems and it's analysis by logic inference systems.
   
Main publications:
  1. Igor Kotenko, Olga Polubelova, “Verification of Security Policy Filtering Rules by Model Checking.”, Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. (Prague, Czech Republic, 15–17 September 2011), Los Alamitos, California, 2011, 706–710
  2. Polubelova O.V., Kotenko I.V., “Verifikatsiya pravil filtratsii politiki bezopasnosti metodom “proverki na modeli””, Priborostroenie, 51:12 (2008), 44–49
  3. Kotenko I.V., Tishkov A.V., Chervatyuk O.V., Reznik S.A., Sidelnikova E.V., “Sistema verifikatsii politiki bezopasnosti kompyuternoi seti”, Vestnik kompyuternykh i informatsionnykh tekhnologii, 2007, № 11, 48–56
  4. Saenko I. B., Polubelova O.V., Kotenko I.V., “Razrabotka informatsionnogo khranilischa sistemy upravleniya informatsiei i sobytiyami bezopasnosti dlya geterogennoi infrastruktury”, Metody i tekhnicheskie sredstva obespecheniya bezopasnosti informatsii, Materialy KhX Obscherossiiskoi nauchno-tekhnicheskoi konferentsii (27 iyunya – 1 iyulya 2011 goda, Sankt-Peterburg), Izdatelstvo Politekhnicheskogo universiteta, 2011, 41–42
  5. Polubelova O.V., “Resheniya po razrabotke repozitoriya v SIEM sisteme na osnove ontologicheskogo podkhoda.”, VII Sankt-Peterburgskaya mezhregionalnaya konferentsiya “Informatsionnaya bezopasnost regionov Rossii” (IBRR-2011), Materialy konferentsii (26–28 oktyabrya 2011 g.), SPOISU, 2011, 89

https://www.mathnet.ru/eng/person72433
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2013
1. O. V. Polubelova, “Architecture and software implementation of the system of verification of filtering rules”, Tr. SPIIRAN, 26 (2013),  79–90  mathnet
2. A. A. Chechulin, I. V. Kotenko, O. V. Polubelova, “Design of the ontology based data model for the network attack modeling system”, Tr. SPIIRAN, 26 (2013),  26–39  mathnet
3. I. V. Kotenko, I. B. Saenko, O. V. Polubelova, “Perspective data storage systems for security information monitoring and management”, Tr. SPIIRAN, 25 (2013),  113–134  mathnet 1
2012
4. O. V. Polubelova, I. V. Kotenko, “Verification of security policy filtering rules with temporal parameters by Model Checking”, Tr. SPIIRAN, 22 (2012),  113–138  mathnet 1
5. I. V. Kotenko, I. B. Saenko, O. V. Polubelova, A. A. Chechulin, “Application of security information and event management technology for information security in critical infrastructures”, Tr. SPIIRAN, 20 (2012),  27–56  mathnet 7

Organisations