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

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• St. Petersburg Institute for Informatics and Automation of RAS